MST-GOTO : WFFOP

MST-GOTO is a wff operation.
Move to specified node in an matingstree.
 
The calling scheme for MST-GOTO is:

(MST-GOTO NODE MATINGSTREE)
"SYMBOL-OR-INTEGER" "MATINGSTREE"


The result is of type MATINGSTREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage