Module Ephemeron.GenHashTableSource

Hash tables on generic containers with notion of death and aliveness.

Define a hash table on generic containers which have a notion of "death" and aliveness. If a binding is dead the hash table can automatically remove it.

Sourcetype equal =
  1. | ETrue
  2. | EFalse
  3. | EDead
    (*

    the container is dead

    *)
Sourcemodule MakeSeeded (H : sig ... end) : SeededS with type key = H.t

Functor building an implementation of an hash table that use the container for keeping the information given