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