DUAL : INFODUAL is a flag setting or other piece of information.
A flag setting for REWRITE-DEFNS.
When constructing an etree, rewrite all definitions (or a specified
list of definitions), one step at a time, once there are no more
EAGER rewrites to do. Furthermore, rewrite each definition to a
conjunction (or disjunction) of a leaf containing that definition
and an etree containing a rewrite of the definition.
A flag setting for REWRITE-EQUALITIES.
As above for definitions, but with equalities.
TPS documentation homepage