REN-VAR-X1 is a flag setting or other piece of information.
A flag setting for REN-VAR-FN.
This is the standard renaming function. It renames y to y^1,
then to y^2, and so on. If there is another variable y, of a different
type, it makes no difference.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage