CREF _ _ _ _ _ _ _ _ _ _ _ _ switch

The switch cref invokes the CREF cross-reference program that processes a set of procedure definitions to produce a summary of their entry points, undefined procedures, non-local variables and so on. The program will also check that procedures are called with a consistent number of arguments, and print a diagnostic message otherwise.

The output is alphabetized on the first seven characters of each function name.

To invoke the cross-reference program, cref is first turned on. This causes the program to load and the cross-referencing process to begin. After all the required definitions are loaded, turning cref off will cause a cross-reference listing to be produced.

Algebraic procedures in REDUCE are treated as if they were symbolic, so that algebraic constructs will actually appear as calls to symbolic functions, such as aeval.