class interface HASHED_DICTIONARY_NODE[V,K->HASHABLE] -- -- Auxilliary class to implement HASHED_DICTIONARY[V,K->HASHABLE]. -- end of HASHED_DICTIONARY_NODE[V,K->HASHABLE]