Ephemeron.GenHashTable(3)

NAME
Ephemeron.GenHashTable - Hash tables on generic containers with notion of death and aliveness.

Module
Module Ephemeron.GenHashTable

Documentation

Module GenHashTable
 : sig end

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.

type equal =
 | ETrue
 | EFalse
 | EDead (* the container is dead
 *)

module MakeSeeded : functor (H : sig end) -> sig end

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