sig type t val compare : Sig.ORDERED_TYPE.t -> Sig.ORDERED_TYPE.t -> int end