module Cf_ordered:sig
..end
module type Total_T =sig
..end
The module type defining a type 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
The order of integers.