PPRINT-OBLIGATION : WFFOPPPRINT-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:
The result is of type NIL.
TPS documentation homepage