Legend:
Library
Module
Module type
Parameter
Class
Class type
type equal =
| ETrue
| EFalse
| EDead(*

the container is dead

*)
module 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