IGNORE : ARGTYPE

IGNORE is an argument type.
Used as RESULTTYPE for wff printing operations.

TPS documentation homepage


IGNORE : INFO

IGNORE is a flag setting or other piece of information.
A flag setting for PRIM-BDTYPES-AUTO.
The user's setting of PRIM-BDTYPES will be left intact.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage