sig type t = Key.t Interval_map_intf.Interval.t val is_empty : Interval_map_intf.S.Interval.t -> bool val contains : Interval_map_intf.S.Interval.t -> Key.t -> bool end