module Interval: sig
.. end
type 'k
t = [ `Always | `Between of 'k * 'k | `From of 'k | `Until of 'k ]
val __t_of_sexp__ : 'k.
(Sexplib.Sexp.t -> 'k) -> Sexplib.Sexp.t -> 'k t
val t_of_sexp : 'k.
(Sexplib.Sexp.t -> 'k) -> Sexplib.Sexp.t -> 'k t
val sexp_of_t : 'k.
('k -> Sexplib.Sexp.t) -> 'k t -> Sexplib.Sexp.t
val is_empty : [< `Always | `Between of 'a * 'b | `From of 'c | `Until of 'd ] ->
cmp:('a -> 'b -> int) -> bool
val contains : [< `Always | `Between of 'a * 'a | `From of 'a | `Until of 'a ] ->
cmp:('b -> 'a -> int) -> 'b -> bool