module type S_with_boundary =sig
..end
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
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.