Automatic generation produced by ISE Eiffel
class SED_OBJECTS_TABLE Ancestors HASH_TABLE [G, K -> detachable HASHABLE] SED_ABSTRACT_OBJECTS_TABLE* Clients SED_OBJECTS_TABLE SED_SESSION_SERIALIZER Suppliers BOOLEAN INTEGER_32 NATURAL_32 PLATFORM SED_OBJECTS_TABLE SPECIAL [T] TYPED_POINTER [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com