`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`