next up previous contents index
Next: hash Up: Data Structures Previous: setEntry!,setKey!   Contents   Index


HashType


Usage

HashType: Category


Description

HashType is the category of types whose objects can be hashed into machine integers.


Exports

PrimitiveType
hash: % $\to$ MachineInteger hash function


Subsections
Manuel Bronstein 2004-06-28