HEAD : EDOP

HEAD is an editor command.
Find the head of a gwff.
 
The command format for HEAD is:

<Ed>HEAD <<GWFF>>
<<GWFF>>

TPS documentation homepage


HEAD : WFFOP

HEAD is a wff operation.
Find the head of a gwff.
 
The calling scheme for HEAD is:

(HEAD <<GWFF>>)
<<GWFF>>


The result is of type GVAR.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage