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