PRINT-JLIST : WFFOP

PRINT-JLIST is a wff operation.
Prints the given gwff, using lists for jforms.
 
The calling scheme for PRINT-JLIST is:

(PRINT-JLIST GWFF)
"GWFF"


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage