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