MS98-REWRITE-SIZE : FLAGMS98-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