DEPTH : MEXPR

DEPTH is a top-level command.
Causes all subformulas at depth greater than n to be printed as &.
The command format for DEPTH is:

 <n>DEPTH     NUM 
"INTEGER+"


The arguments have the following meaning:
NUM : non-negative integer

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage