HIGHER-ORDER : FLAG-MODE

HIGHER-ORDER is a mode.
Puts parser and printer into higher-order mode.
Flags are set as follows:
Flag Value in Mode Current Value
FIRST-ORDER-MODE-PARSE NIL NIL
FIRST-ORDER-PRINT-MODE NIL NIL
PRINTTYPES T T

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage