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