Module Merlin_utils.Stamped_hashtableSource

Sourcetype ('a, 'b) t

An instance of a stamped hashtable

Sourcetype changelog

The changelog datastructure logs stamped bindings added to tables. By separating the log from the table, it is possible to efficiently remove stamped bindings spread accross multiple tables.

Sourceval create : changelog -> int -> ('a, 'b) t

create changelog n creates a new table with an initial size of n (see Hashtbl.create) that logs its changes to changelog.

Sourceval add : ('a, 'b) t -> ?stamp:int -> 'a -> 'b -> unit

Add a binding, like Hashtbl.add, with an optional stamp. Unlike Hashtbl.add, having multiple bindings with the same key is undefined. (It's ok, this feature is not used by the caches!)

Sourceval mem : ('a, 'b) t -> 'a -> bool

See Hashtbl.mem.

Sourceval find : ('a, 'b) t -> 'a -> 'b

See Hashtbl.find.

Sourceval create_changelog : unit -> changelog

Create a new change log.

Sourceval backtrack : changelog -> stamp:int -> unit