    class
    	SED_STORABLE_FACILITIES

    General
    	cluster: base
    	description: "Serialize and deserialize objects to and from SED_READER_WRITER instances."

    Ancestors
    	ANY

    Queries
    	Eiffel_basic_store: NATURAL_32
    	Eiffel_independent_store: NATURAL_32
    	Eiffel_session_store: NATURAL_32
    	retrieved (a_reader: SED_READER_WRITER; a_is_gc_enabled: BOOLEAN): ANY

    Commands
    	basic_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN)
    	independent_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN)
    	session_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN)