MT-SUBSUMPTION : ARGTYPE

MT-SUBSUMPTION is an argument type.
Should be one of NIL, SUBSET-CONNS, SAME-CONNS, SAME-TAG, T.
See the flag MT-SUBSUMPTION-CHECK.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage