FIND-INFIX-ETREE : WFFOP

FIND-INFIX-ETREE is a wff operation.
Find first infix node in etree.
 
The calling scheme for FIND-INFIX-ETREE is:

(FIND-INFIX-ETREE ETREE)
"ETREE"


The result is of type ETREE.

The arguments have the following meaning:
ETREE : etree

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage