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]