deferred class
	INDEXABLE [G, H -> INTEGER_32]

Ancestors
	READABLE_INDEXABLE* [G]
	TABLE* [G, H]

Descendants
	ARRAY [G]
	CHAIN* [G]
	INTEGER_INTERVAL
	STRING_32
	STRING_8

Generated by ISE EiffelStudio