Parameter MakeSeeded.H

type t

keys

type 'a container

contains keys and the associated data

val hash : int -> t -> int
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

val create : t -> 'a -> 'a container

create key data creates a container from some initials keys and one data

val get_key : 'a container -> t option

get_key cont returns the keys if they are all alive

val get_data : 'a container -> 'a option

get_data cont returns the data if it is alive

val set_key_data : 'a container -> t -> 'a -> unit

set_key_data cont modifies the key and data

val check_key : 'a container -> bool

check_key cont checks if all the keys contained in the data are alive