ANY HASHED_DICTIONARY NONE
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]