Functor Rangemap.Make

module Make: 
functor (Ord : Datatype.S) ->
functor (Value : Value) -> sig .. end
Extension of the above signature, with specific functions acting on range of values
Parameters:
Ord : Datatype.S
Value : Value

include Rangemap.S
val fold_range : (key -> Rangemap.fuzzy_order) ->
(key -> Rangemap.Value.t -> 'a -> 'a) -> t -> 'a -> 'a
val height : t -> int
val concerned_intervals : (key -> key -> Rangemap.fuzzy_order) ->
key -> t -> (key * Rangemap.Value.t) list
Intervals that match the given key. The resulting list is sorted in decreasing order.
exception Empty_rangemap
val lowest_binding : t -> key * Rangemap.Value.t
exception No_such_binding
val lowest_binding_above : (key -> bool) -> t -> key * Rangemap.Value.t
val add_whole : (key -> key -> Rangemap.fuzzy_order) -> key -> Rangemap.Value.t -> t -> t
val remove_whole : (key -> key -> Rangemap.fuzzy_order) -> key -> t -> t