Backtrackable_tbl.S
type key
type 'a t
val create : ?size:int -> unit -> 'a t
val find : 'a t -> key -> 'a
Not_found
if the key is not present
val get : 'a t -> key -> 'a option
val get_or : default:'a -> 'a t -> key -> 'a
val get_or_add : 'a t -> f:(key -> 'a) -> k:key -> 'a
val update : 'a t -> f:(key -> 'a option -> 'a option) -> k:key -> unit
val mem : _ t -> key -> bool
val length : _ t -> int
val iter : (key -> 'a -> unit) -> 'a t -> unit
val to_iter : 'a t -> (key * 'a) Iter.t
val add : 'a t -> key -> 'a -> unit
val remove : _ t -> key -> unit
val n_levels : _ t -> int
val push_level : _ t -> unit
val pop_levels : 'a t -> int -> unit