Evar.Map
The underlying Map library
Apply the given function to the binding of the given key.
bind f s
transform the set x1; ...; xn
into x1 := f x1; ...;
xn := f xn
.
Alias for fold
, to easily track where we depend on fold order.
val height : 'a t -> int
An indication of the logarithmic size of a map
find_range in_range m
Given a comparison function in_range x
, that tests if x
is below, above, or inside a given range filter_range
returns the submap of m
whose keys are in range. Note that in_range
has to define a continouous range.
module Smart : sig ... end
module Monad (M : CMap.MonadS) : sig ... end
Fold operators parameterized by any monad.