module Make (X : ORD) : S with type key = X.t
type
type
A map containing values of different types, indexed by
CCMixmap.S.key.
val empty : t
Empty map
val get : inj:'a CCMixmap.injection -> key -> t -> 'a option
Get the value corresponding to this key, if it exists and
belongs to the same key
val add : inj:'a CCMixmap.injection ->
key -> 'a -> t -> t
Bind the key to the value, using inj
val find : inj:'a CCMixmap.injection -> key -> t -> 'a
Find the value for the given key, which must be of the right type.
Raises Not_found if either the key is not found, or if its value
doesn't belong to the right type
val cardinal : t -> int
Number of bindings
val remove : key -> t -> t
Remove the binding for this key
val mem : inj:'a CCMixmap.injection -> key -> t -> bool
Is the given key in the map, with the right type?
val iter_keys : f:(key -> unit) -> t -> unit
Iterate on the keys of this map
val fold_keys : f:('a -> key -> 'a) -> x:'a -> t -> 'a
Fold over the keys
Iterators
type 'a sequence = ('a -> unit) -> unit
val keys_seq : t -> key sequence
All the keys
val bindings_of : inj:'a CCMixmap.injection ->
t -> (key * 'a) sequence
All the bindings that come from the corresponding injection
type
val bindings : t -> (key * value) sequence
Iterate on all bindings