Functor CCMixmap.Make

module Make (X : ORD: S  with type key = X.t
Parameters:
X : ORD

type key 
type t 
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 value = 
| Value : ('a CCMixmap.injection -> 'a option) -> value
val bindings : t -> (key * value) sequence
Iterate on all bindings