Make_from_compare.1-E
type t
val compare : t -> t -> int
compare a b shall return a negative value if a is smaller than b, 0 if a and b are equal or a positive value if a is greater than b
compare a b
a
b
0