Predicate.OrderedType
Input signature of the functor Make.
Make
type t
The type of the elements in the set.
The chosen t must be infinite.
t
val compare : t -> t -> int
A total ordering function over the set elements. This is a two-argument function f such that:
f
f e1 e2
e1
e2