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