LAZY2 : INFO

LAZY2 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


© 1988-99, Carnegie Mellon University.

TPS homepage