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