HVARS : EDOP

HVARS is an editor command.
Find all head variables of a wff.
 
The command format for HVARS is:

<Ed>HVARS <<GWFF>>
<<GWFF>>

TPS documentation homepage


HVARS : WFFOP

HVARS is a wff operation.
Find all head variables of a wff.
 
The calling scheme for HVARS is:

(HVARS <<GWFF>>)
<<GWFF>>


The result is of type GVARLIST.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage