module type TableType = sig
.. end
An input signature of the Make functor. The type of tables, that are used
to represent the discrimination tree. This signature is a subset of the
signature of Hashtbl
in the OCaml standard library.
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