PRINT-OBLIGATION : WFFOP

PRINT-OBLIGATION is a wff operation.
Print out the given obligation tree with the jforms attached to the
leaves. If no argument is given, the current-obligation tree is printed out.
 
The calling scheme for PRINT-OBLIGATION is:

(PRINT-OBLIGATION NAME)
"SYMBOL-OR-INTEGER"


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage