module type Total_T =sig..end
t and a corresponding function to give
the total order of all values of that type.type
val compare : t -> t -> intcompare a b compares the total ordering of a and b, and it
returns zero if the two values are of equal total order, a negative
integer if a follows b, and a positive integer if a precedes
b in the total ordering. The Pervasives.compare function is
a suitable value in modules of this type.