REN-VAR-X11 is a flag setting or other piece of information.
A flag setting for REN-VAR-FN.
This is much like REN-VAR-X1, except it will avoid creating
two variables of the same name at different types (so it tends to
produce higher exponents than REN-VAR-X1).

ETPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage