Printer.ContextObjectMap
The underlying Map library
include CSig.MapS with type key = context_object
type key = context_object
val empty : 'a t
val is_empty : 'a t -> bool
val cardinal : 'a t -> int
Apply the given function to the binding of the given key.
val domain : 'a t -> ContextObjectSet.t
Recover the set of keys defined in the map.
val bind : (key -> 'a) -> ContextObjectSet.t -> 'a t
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.