![[top]](top.gif)
![[index]](index.gif)
hash x -- returns the hash code of x.
The hash code of x is an integer produced in a deterministic way from x, and perhaps from the hash codes of the contents of x. See hashing for a discussion of the requirements that the hash codes used here are designed to satisfy.