sig
  type 'k t = [ `Always | `Between of 'k * 'k | `From of 'k | `Until of 'k ]
  val is_empty : 'k Interval_map_intf.??.t -> cmp:('k -> 'k -> int) -> bool
  val contains :
    'k Interval_map_intf.??.t -> cmp:('k -> 'k -> int) -> 'k -> bool
  val t_of_sexp :
    (Sexplib.Sexp.t -> 'k) -> Sexplib.Sexp.t -> 'k Interval_map_intf.??.t
  val __t_of_sexp__ :
    (Sexplib.Sexp.t -> 'k) -> Sexplib.Sexp.t -> 'k Interval_map_intf.??.t
  val sexp_of_t :
    ('k -> Sexplib.Sexp.t) -> 'k Interval_map_intf.??.t -> Sexplib.Sexp.t
end