deferred class SED_BINARY_READER_WRITER Ancestors SED_READER_WRITER* Descendants SED_MEDIUM_READER_WRITER Clients SED_BINARY_READER_WRITER* Suppliers BOOLEAN INTEGER_16 INTEGER_32 INTEGER_64 INTEGER_8 MANAGED_POINTER NATURAL_16 NATURAL_32 NATURAL_64 NATURAL_8 PLATFORM POINTER SED_BINARY_READER_WRITER* TYPED_POINTER [G]
Generated by ISE EiffelStudio