14.5.40  Symbol_And_Picklehash_Unpickling

The standard library Symbol_And_Picklehash_Unpickling api defines support for src/lib/compiler/src/library/unpickler.pkg.

The Symbol_And_Picklehash_Unpickling api is implemented by the symbol_and_picklehash_unpickling package.

The Symbol_And_Picklehash_Unpickling api source code is in src/lib/compiler/front/semantic/pickle/symbol-and-picklehash-unpickling.api.

See also: Symbol_And_Picklehash_Pickling.

The above information is manually maintained and may contain errors.

api {   read_symbol :
            (?.unpickler::Unpickler , ?.unpickler::Pickle_Reader(String ))
            ->
            ?.unpickler::Pickle_Reader(symbol::Symbol );
        read_picklehash :
            (?.unpickler::Unpickler , ?.unpickler::Pickle_Reader(String ))
            ->
            ?.unpickler::Pickle_Reader(picklehash::Picklehash );};