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

creation
   make (i: V; k: K; n: like Current)
      ensure
         item = i;
         key = k;
         next = n

feature(s) from HASHED_DICTIONARY_NODE
   item: V

   key: K

   next: like Current
      -- The next one when some clash occurs.

   set_item (i: V)
      ensure
         item = i

   set_next (n: like Current)
      ensure
         next = n

   make (i: V; k: K; n: like Current)
      ensure
         item = i;
         key = k;
         next = n



end of HASHED_DICTIONARY_NODE[V,K->HASHABLE]