sig module type Total_T = sig type t val compare : Cf_ordered.Total_T.t -> Cf_ordered.Total_T.t -> int end module Int_order : sig type t = int val compare : t -> t -> int end end