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