sig
  type t
  module Map :
    sig
      module Key :
        sig
          type t = t
          type comparator_witness
          val comparator :
            (t, comparator_witness) Core_kernel.Std.Comparator.comparator
        end
      type 'a t =
          (Interval_map_intf.Type_with_map_module.Map.Key.t, 'a,
           Interval_map_intf.Type_with_map_module.Map.Key.comparator_witness)
          Core_kernel.Std.Map.t
      val t_of_sexp :
        (Sexplib.Sexp.t -> 'a) ->
        Sexplib.Sexp.t -> 'Interval_map_intf.Type_with_map_module.Map.t
      val sexp_of_t :
        ('-> Sexplib.Sexp.t) ->
        'Interval_map_intf.Type_with_map_module.Map.t -> Sexplib.Sexp.t
      val compare :
        ('-> '-> int) ->
        'Interval_map_intf.Type_with_map_module.Map.t ->
        'Interval_map_intf.Type_with_map_module.Map.t -> int
    end
  val compare :
    Interval_map_intf.Type_with_map_module.t ->
    Interval_map_intf.Type_with_map_module.t -> int
  val t_of_sexp : Sexplib.Sexp.t -> Interval_map_intf.Type_with_map_module.t
  val sexp_of_t : Interval_map_intf.Type_with_map_module.t -> Sexplib.Sexp.t
end