PRINT-META is a flag or parameter.
If T, meta labels are printed, otherwise the wffop they represent
will be printed.
PRINT-META takes values of type BOOLEAN.
It belongs to subjects PRINTING .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage