expanded class interface HASH_TABLE_SIZE
   --
   -- 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).
   --

feature(s) from HASH_TABLE_SIZE   prime_number_ceiling (integer: INTEGER): INTEGER
      -- A good prime number, large enough, and no smaller than integer.

      ensure
         Result >= integer



end of expanded HASH_TABLE_SIZE