SHOWTYPES : MEXPR

SHOWTYPES is a top-level command.
From now on show the types on all wffs.
The command format for SHOWTYPES is:

 <n>SHOWTYPES 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage