BASE-TYPE : FLAG

BASE-TYPE is a flag or parameter.
If not NIL, it should be the `default' type for individual
variables in a logic system. Typically I (for iota).
BASE-TYPE takes values of type SYMBOL.
It belongs to subjects PARSING .
Its default value is NIL
Its current value is I.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage