module Cf_ordered:Ordered types. A functor for composing key-value pairs using an associated total ordering function. This is used in data structure modules likesig
..end
Cf_rbtree
and Cf_sbheap
.module type Total_T =sig
..end
t
and a corresponding function to give
the total order of all values of that type.
module Int_order:Total_T
with type t = int