PRIM-PREFIX : FLAG

PRIM-PREFIX is a flag or parameter.
Prefix for weak labels associated with primitive substitutions.
PRIM-PREFIX takes values of type SYMBOL.
It belongs to subjects PRIMSUBS .
Its default value is PRIM
Its current value is PRIM.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage