PPRINT-OBLIGATION : WFFOP

PPRINT-OBLIGATION is a wff operation.
Print out the given obligation tree with the jforms attached to all nodes.
If no argument is given,the whole obligation tree is printed out.
 
The calling scheme for PPRINT-OBLIGATION is:

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


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage