PWSCOPE : MEXPR

PWSCOPE is a top-level command.
print gwff with all brackets restored.
The command format for PWSCOPE is:

 <n>PWSCOPE  GWFF 
"GWFF"


The arguments have the following meaning:
GWFF : print gwff

TPS documentation homepage


PWSCOPE : WFFOP

PWSCOPE is a wff operation.
Print a wff showing all brackets and dots.
 
The calling scheme for PWSCOPE is:

(PWSCOPE 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