ANY | NONE |
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