deferred class
	COUNTABLE [G]

Ancestors
	INFINITE* [G]

Descendants
	COUNTABLE_SEQUENCE* [G]

Suppliers
	INTEGER_32

Generated by ISE EiffelStudio