Section Header
  
  
    + name    := HASHED_SET_NODE[E];
  
  
    - comment := "Auxilliary class to implement SET[E].";
    
Section Inherit
  
  
    - parent_any_hashed_set_node:ANY_HASHED_SET_NODE := 
  
Section Public
  
  
    + item:E;
  
  
    + next:HASHED_SET_NODE[E];
  
         The `next' one when some clash occurs.
  
  
    - set_next n:HASHED_SET_NODE[E] <-
    
Section HASHED_SET
  
  
    - create i:E next n:HASHED_SET_NODE[E] :SELF <-
    
  
    - make i:E next n:HASHED_SET_NODE[E] <-