class DOUBLE_HASHED_DICTIONARY [V -> HASHABLE, K -> HASHABLE]

Features exported to ANY

This class is obsolete: The new name for this class is now HASHED_BIJECTIVE_DICTIONARY (Feb 10th 2005).