MS90-3-QUICK : FLAG

MS90-3-QUICK is a flag or parameter.
If T, do MS88 quick unification on dpairs in MS90-3.
If NIL, don't.
MS90-3-QUICK takes values of type BOOLEAN.
It belongs to subjects UNIFICATION MS92-9 MS93-1 MS91-7 MS90-9 MS90-3 .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage