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