sig type t val compare : Set.OrderedType.t -> Set.OrderedType.t -> int end