PRT-ASSOCIATIVE : PRINTPROP

PRT-ASSOCIATIVE is a printing property.
If T for an infix operator, it is assumed to be associative
for printing purposes.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage