sig type t val compare : Signatures.OrderedTypePrintable.t -> Signatures.OrderedTypePrintable.t -> int val print : Format.formatter -> Signatures.OrderedTypePrintable.t -> unit end