PRINTNOTYPE : PRINTPROP

PRINTNOTYPE is a printing property.
If T, types of the symbol will never be printed.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage