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