PRINT-OBLIGATION-JFORM : WFFOPPRINT-OBLIGATION-JFORM is a wff operation.
Print out the vpform associated with the given obligation node.
If no obligation is specified, then the first open obligation
in the current obligation tree is used. See the flag
The calling scheme for PRINT-OBLIGATION-JFORM is:
The result is of type OBLIGATION.
TPS documentation homepage