NONE : INFO

NONE is a flag setting or other piece of information.
A flag setting for REWRITE-DEFNS.
When constructing an etree, do not rewrite the specified definitions.

A flag setting for REWRITE-EQUALITIES.
When constructing an etree, do not rewrite equalities.

A flag setting for DEFAULT-EXPAND.
Do not use option trees or option sets.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage