module GenHashTable:sig
..end
type
equal =
| |
ETrue |
|||
| |
EFalse |
|||
| |
EDead |
(* |
the container is dead
| *) |
module MakeSeeded:functor (
H
:
sig
type
t
keystype
'a
containercontains keys and the associated dataval hash :int -> t -> int
same asHashtbl.SeededHashedType
val equal :'a container ->
t -> Ephemeron.GenHashTable.equalequality predicate used to compare a key with the one in a container. Can returnEDead
if the keys in the container are deadval create :t ->
'a -> 'a containercreate key data
creates a container from some initials keys and one dataval get_key :'a container ->
t optionget_key cont
returns the keys if they are all aliveval get_data :'a container -> 'a option
get_data cont
return the data if it is aliveval set_key_data :'a container ->
t -> 'a -> unitset_key_data cont
modify the key and dataval check_key :'a container -> bool
check_key cont
checks if all the keys contained in the data are aliveend
) ->
Ephemeron.SeededS
with type key = H.t