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] <-