MAKE-WFFOPS-LABELS : FLAG

MAKE-WFFOPS-LABELS is a flag or parameter.
If T, meta labels are created by the parser, if NIL, wffops are
evaluated at parse-time.
MAKE-WFFOPS-LABELS takes values of type BOOLEAN.
It belongs to subjects PARSING .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage