type t
keys
type 'a container
contains keys and the associated data
val hash : int -> t -> int
same as Hashtbl.SeededHashedType
val equal : 'a container -> t -> equal
equality predicate used to compare a key with the one in a container. Can return EDead if the keys in the container are dead
EDead
val create : t -> 'a -> 'a container
create key data creates a container from some initials keys and one data
create key data
val get_key : 'a container -> t option
get_key cont returns the keys if they are all alive
get_key cont
val get_data : 'a container -> 'a option
get_data cont returns the data if it is alive
get_data cont
val set_key_data : 'a container -> t -> 'a -> unit
set_key_data cont modifies the key and data
set_key_data cont
val check_key : 'a container -> bool
check_key cont checks if all the keys contained in the data are alive
check_key cont