MS98-REWRITE-SIZE : FLAG

MS98-REWRITE-SIZE is a flag or parameter.
The maximum size of a (lambda-normalized) term that can be
produced by rewriting, measured as the number of nodes in the parse
tree of that term. NIL means that there is no maximum.
MS98-REWRITE-SIZE takes values of type NULL-OR-POSINTEGER.
It belongs to subjects MS98-1 .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage