PRINT-OBTREE-NODE : WFFOPPRINT-OBTREE-NODE is a wff operation.
Print out the given obligation in detail. If no
obligation is given, then the first open obligation
in the current obligation tree is used. See the flag
The calling scheme for PRINT-OBTREE-NODE is:
The result is of type MATINGSTREE.
TPS documentation homepage