sig
  type t
  type aux
  val compare :
    Ordset.AuxOrderedType.aux ->
    Ordset.AuxOrderedType.t -> Ordset.AuxOrderedType.t -> int
end