TYPE-IOTA-MODE : FLAG

TYPE-IOTA-MODE is a flag or parameter.
If T, type variables are always assumed to be iota.
TYPE-IOTA-MODE takes values of type BOOLEAN.
It belongs to subjects PARSING .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage