class SED_RECOVERABLE_SERIALIZER Ancestors SED_BASIC_SERIALIZER Clients SED_RECOVERABLE_SERIALIZER SED_STORABLE_FACILITIES Suppliers BOOLEAN HASH_TABLE [G, K -> detachable HASHABLE] IMMUTABLE_STRING_8 INTEGER_32 NATURAL_32 REFLECTOR SED_READER_WRITER* SED_RECOVERABLE_SERIALIZER SED_VERSIONS
Generated by ISE EiffelStudio