Module DtIndex.HashTableImplementation

module HashTableImplementation: TableType

Implementation of TableType using hash tables.

type key = DtIndex.hkey

type 'a t

val make_table : unit -> 'a t

val add : 'a t -> key -> 'a -> unit

val remove : 'a t -> key -> unit

val find : 'a t -> key -> 'a

val iter : (key -> 'a -> unit) -> 'a t -> unit

Like iter, but the implementation may remove entries from the table as they are iterated over. The table may no longer be used afterwards.

val iter_and_throw_away : (key -> 'a -> unit) -> 'a t -> unit