module Int_order:Total_T
with type t = int
type
t
val compare : t -> t -> int
compare 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.