Automatic generation produced by ISE Eiffel
class PRIMES Ancestors COUNTABLE_SEQUENCE* [G] Clients HASH_TABLE [G, K -> detachable HASHABLE] PRIMES TUPLE Suppliers ARRAY [G] BOOLEAN DOUBLE_MATH INTEGER_32 PRIMES REAL_64 -- Generated by ISE Eiffel --
For more details: www.eiffel.com