deferred class UNBOUNDED [G] Ancestors FINITE* [G] Descendants DYNAMIC_CHAIN* [G] FILE* HASH_TABLE [G, K -> detachable HASHABLE]
Generated by ISE EiffelStudio