# Module Interval_map_intf.Interval

    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