Ephemeron.K1
Ephemerons with one key.
val make : 'k -> 'd -> ('k, 'd) t
Ephemeron.K1.make k d
creates an ephemeron with key k
and data d
.
val query : ('k, 'd) t -> 'k -> 'd option
Ephemeron.K1.query eph key
returns Some x
(where x
is the ephemeron's data) if key
is physically equal to eph
's key, and None
if eph
is empty or key
is not equal to eph
's key.
Functor building an implementation of a weak hash table
module MakeSeeded (H : Hashtbl.SeededHashedType) : SeededS with type key = H.t
Functor building an implementation of a weak hash table. The seed is similar to the one of Hashtbl.MakeSeeded
.
module Bucket : sig ... end