PWTYPES : MEXPR

PWTYPES is a top-level command.
Prints a wff showing types.
The command format for PWTYPES is:

 <n>PWTYPES  GWFF 
"GWFF"


The arguments have the following meaning:
GWFF : Print Wff

TPS documentation homepage


PWTYPES : WFFOP

PWTYPES is a wff operation.
Print a wff showing types.
 
The calling scheme for PWTYPES is:

(PWTYPES GWFF)
"GWFF"


The result is of type IGNORE.

The arguments have the following meaning:
GWFF : Print Wff

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage