PW : MEXPR

PW is a top-level command.
Print gwff.
The command format for PW is:

 <n>PW  GWFF 
"GWFF"


The arguments have the following meaning:
GWFF : print gwff

TPS documentation homepage


PW : WFFOP

PW is a wff operation.
Print a wff using the global settings of all flags.
 
The calling scheme for PW is:

(PW GWFF)
"GWFF"


The result is of type IGNORE.

The arguments have the following meaning:
GWFF : print gwff

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage