TR-PRINT-MATINGSTREE : WFFOPTR-PRINT-MATINGSTREE is a wff operation.
Print out the given matingstree as a tree, showing the obligations at each
node. If no matingstree is given, the current-matingstree is printed out.
Matingstrees enclosed in curly brackets are marked as dead.
Branches with *'s denote nodes that are being omitted for lack of space. The
cure for this is to either start printing from a node lower in the tree, or
make the screen wider.
The calling scheme for TR-PRINT-MATINGSTREE is:
The result is of type MATINGSTREE.
TPS documentation homepage