module GenHashTable:sig..end
type equal =
| |
ETrue |
|||
| |
EFalse |
|||
| |
EDead |
(* |
the container is dead
| *) |
module MakeSeeded:functor (H:sigtypetkeystype'acontainercontains keys and the associated dataval hash :int -> t -> intsame asHashtbl.SeededHashedTypeval equal :'a container ->
t -> Ephemeron.GenHashTable.equalequality predicate used to compare a key with the one in a container. Can returnEDeadif the keys in the container are deadval create :t ->
'a -> 'a containercreate key datacreates a container from some initials keys and one dataval get_key :'a container ->
t optionget_key contreturns the keys if they are all aliveval get_data :'a container -> 'a optionget_data contreturn the data if it is aliveval set_key_data :'a container ->
t -> 'a -> unitset_key_data contmodify the key and dataval check_key :'a container -> boolcheck_key contchecks if all the keys contained in the data are aliveend) ->Ephemeron.SeededSwith type key = H.t