Module Ephemeron.K2
module K2:sig
..end
type ('k1, 'k2, 'd)
t
an ephemeron with two keys
val create : unit -> ('k1, 'k2, 'd) t
Same as Ephemeron.K1.create
val get_key1 : ('k1, 'k2, 'd) t -> 'k1 option
Same as Ephemeron.K1.get_key
val get_key1_copy : ('k1, 'k2, 'd) t -> 'k1 option
Same as Ephemeron.K1.get_key_copy
val set_key1 : ('k1, 'k2, 'd) t -> 'k1 -> unit
Same as Ephemeron.K1.set_key
val unset_key1 : ('k1, 'k2, 'd) t -> unit
Same as Ephemeron.K1.unset_key
val check_key1 : ('k1, 'k2, 'd) t -> bool
Same as Ephemeron.K1.check_key
val get_key2 : ('k1, 'k2, 'd) t -> 'k2 option
Same as Ephemeron.K1.get_key
val get_key2_copy : ('k1, 'k2, 'd) t -> 'k2 option
Same as Ephemeron.K1.get_key_copy
val set_key2 : ('k1, 'k2, 'd) t -> 'k2 -> unit
Same as Ephemeron.K1.set_key
val unset_key2 : ('k1, 'k2, 'd) t -> unit
Same as Ephemeron.K1.unset_key
val check_key2 : ('k1, 'k2, 'd) t -> bool
Same as Ephemeron.K1.check_key
val blit_key1 : ('k1, 'a, 'b) t -> ('k1, 'c, 'd) t -> unit
Same as Ephemeron.K1.blit_key
val blit_key2 : ('a, 'k2, 'b) t -> ('c, 'k2, 'd) t -> unit
Same as Ephemeron.K1.blit_key
val blit_key12 : ('k1, 'k2, 'a) t -> ('k1, 'k2, 'b) t -> unit
Same as Ephemeron.K1.blit_key
val get_data : ('k1, 'k2, 'd) t -> 'd option
Same as Ephemeron.K1.get_data
val get_data_copy : ('k1, 'k2, 'd) t -> 'd option
Same as Ephemeron.K1.get_data_copy
val set_data : ('k1, 'k2, 'd) t -> 'd -> unit
Same as Ephemeron.K1.set_data
val unset_data : ('k1, 'k2, 'd) t -> unit
Same as Ephemeron.K1.unset_data
val check_data : ('k1, 'k2, 'd) t -> bool
Same as Ephemeron.K1.check_data
val blit_data : ('k1, 'k2, 'd) t -> ('k1, 'k2, 'd) t -> unit
Same as Ephemeron.K1.blit_data
module Make:
Functor building an implementation of a weak hash table
module MakeSeeded:
Functor building an implementation of a weak hash table.
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.