# Module Interval_map_intf.Type_with_map_module.Map

    module Map: sig .. end

    module Key: Comparator.S  with type t = t

    type 'a t = (Key.t, 'a,
            Key.comparator_witness)
           Core_kernel.Std.Map.t

    val t_of_sexp : (Sexplib.Sexp.t -> 'a) ->
           Sexplib.Sexp.t -> 'a t

    val sexp_of_t : ('a -> Sexplib.Sexp.t) ->
           'a t -> Sexplib.Sexp.t

    val compare : ('a -> 'a -> int) ->
           'a t ->
           'a t -> int