Lisaac prototype interface

Section Header
+ name := HASHED_DICTIONARY_NODE[V,K];
- comment :="Auxilliary class to implement DICTIONARY[V,K].";
Section Inherit
- parent_any_hashed_dictionary_node:ANY_HASHED_DICTIONARY_NODE :=
Section Public
+ item:V;
+ key:K;
+ next:HASHED_DICTIONARY_NODE[V,K];
The `next' one when some clash occurs.
- set_item i:V <-
- set_next n:HASHED_DICTIONARY_NODE[V,K] <-
- create i:V to k:K next n:HASHED_DICTIONARY_NODE[V,K] :SELF<-
- make i:V to k:K next n:HASHED_DICTIONARY_NODE[V,K] <-