sig
  类型 t
   compare 
    MoreLabels.Map.OrderedType.t -> MoreLabels.Map.OrderedType.t -> int
end