MakeSeeded.1-H
val hash : int -> t -> int
A seeded hashing function on keys. The first argument is the seed. It must be the case that if equal x y
is true, then hash seed x = hash seed y
for any value of seed
. A suitable choice for hash
is the function seeded_hash
below.