Module State.M

type key = int
type t
val empty : t
val get : inj:'a Dolmen_std__Hmap.injection -> key -> t -> 'a option
val add : inj:'a Dolmen_std__Hmap.injection -> key -> 'a -> t -> t
val find : inj:'a Dolmen_std__Hmap.injection -> key -> t -> 'a
val cardinal : t -> int
val remove : key -> t -> t
val mem : inj:'a Dolmen_std__Hmap.injection -> key -> t -> bool
val iter_keys : f:(key -> unit) -> t -> unit
val fold_keys : f:('a -> key -> 'a) -> x:'a -> t -> 'a
type !'a iter = ('a -> unit) -> unit
val keys_iter : t -> key iter
val bindings_of : inj:'a Dolmen_std__Hmap.injection -> t -> (key * 'a) iter
type value
val bindings : t -> (key * value) iter