module Make_with_boundary:functor (Key:Interval_map_intf.Key) ->Interval_map_intf.S_with_boundarywith type key := Key.t and type ('k, 'v, 'cmp) interval_map := ('k, 'v, 'cmp) t
| Parameters: |
|
type key
module Left_boundary:sig..end
include Interval_map_intf.S
val find' : 'a t -> key -> 'aInclusive 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.