sig type t val compare : Interfaces.ORD.t -> Interfaces.ORD.t -> int end