Data.Comp.Automata.Product

class a :< b