Library Coq.Structures.OrdersAlt
Some alternative (but equivalent) presentations for an Ordered Type
inferface.
An interface based on compare
From OrderedTypeOrig to OrderedType.
From OrderedType to OrderedTypeOrig.
From OrderedTypeAlt to OrderedType.
From the original presentation to this alternative one.