Section Header
  
  
    + name    := LINKED_COLLECTION[E];
  
  
    - comment := "Common root of LINKED_LIST and TWO_WAY_LINKED_LIST..";
    
Section Inherit
  
  
    - parent_collection:COLLECTION[E] := 
  
Section Public
  
  
    - lower:INTEGER := 
  
         Lower index bound is frozen.
  
    + upper:INTEGER;
  
         Memorized upper index bound.
  
  
    - create:SELF <-
    
  
    - make <-
  
         Make an empty list
  
  
    - remove_head n:INTEGER <-
  
  
    - remove_tail n:INTEGER <-
  
  
    - first_index_of element:E :INTEGER <-
  			
  
    - fast_first_index_of element:E :INTEGER <-
    
  
  
 Implement manifest generic creation.
  
	
  
    - manifest_make needed_capacity:INTEGER <-
  
         Manifest creation of a list of items of type E.
  
  
    - manifest_put index:INTEGER to element:E <-