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