Module type Interval_map_intf.S_with_boundary

module type S_with_boundary = sig .. end

An incarnation of an interval map where the key type has been wrapped with Left_boundary.t.

The majority of the operations are further defined/explained in the main module type Interval_map_intf.M.

type key

module Left_boundary: sig .. end

include Interval_map_intf.S

val find' : 'a t -> key -> 'a

Finding the value for an unwrapped key in an interval map based on wrapped keys means searching for the value at the point Inclusive k, because the point Exclusive k should not apply for keys equal to k. This can be very confusing, so find' k does this automatically.