Automatic generation produced by ISE Eiffel
class SET [G -> attached ANY] Ancestors DEBUG_OUTPUT* ITERABLE* [G] Clients FUN [G -> attached ANY, H -> attached ANY] SEQ [G -> attached ANY] SET [G -> attached ANY] Suppliers ANY ARRAY [G] ARRAYED_LIST [G] ARRAYED_LIST_ITERATION_CURSOR [G] ARRAY_ITERATION_CURSOR [G] BOOLEAN CELL [G] INDEXABLE_ITERATION_CURSOR* [G] INTEGER_32 INTEGER_INTERVAL ITERATION_CURSOR* [G] PREDICATE [OPEN_ARGS -> detachable TUPLE create default_create end] SET [G -> attached ANY] STRING_8 -- Generated by ISE Eiffel --
For more details: www.eiffel.com