Hashtbl.Generic
A heterogeneous hashtable in which the type of a key determines the type of the value that it points to, such as Core_kernel.Univ_map.
Core_kernel.Univ_map
type t
type 'v key
We have three types (t, key and value) and three type variables:
t
key
value
val create : int -> t
val replace : t -> 'a key -> 'a -> unit
val remove : t -> _ key -> unit
val find_opt : t -> 'a key -> 'a option