EXP-VAR is a flavor.
An EXP-VAR is used to represent a variable (one which can be
substituted for) in an expansion tree. It has two main properties:
a variable and a substitution (which may be the same as the variable if
no substitution has yet been made.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage