14.5.39  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 );
};