Parameter `MakeSeeded.1-H`

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

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