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