Section Header
  
  
    + name    := HASH_TABLE_SIZE;
  
  
    - comment := "Prime INTEGER list.";
  
 Some useful features to deal with prime INTEGER values in order to select 
  
 an appropriate size for some hash table (used for example by the DICTIONARY 
  
 class as well as by the SET class).
    
Section Inherit
  
  
    - parent_object:OBJECT := 
  
Section Public
  
  
    - prime_number_ceiling integer:INTEGER :INTEGER <-
  
         A good prime number, large enough, and no smaller than `integer'.