Section Header
  
  
    + name    := LINKED_LIST_NODE[E];
  
  
    - comment := "To implement LINKED_LIST[E]. .";
    
Section Inherit
  
  
    - parent_any_linked_list_node:ANY_LINKED_LIST_NODE := 
  
Section Public
  
  
    + item:E;
  
  
    + next:LINKED_LIST_NODE[E];
  
Section LINKED_LIST
  
  
    - create i:E next n:LINKED_LIST_NODE[E] :SELF <-
    
  
    - make i:E next n:LINKED_LIST_NODE[E] <-
    
  
Section LINKED_LIST_NODE,LINKED_LIST
  
  
    - set_item i:E <-
      
  
    - set_next n:LINKED_LIST_NODE[E] <-
      
  
    - set_all_with v:E <-