-
pfdietz authored
Added checks that if T1 and T2 are disjoint, then if SUBTYPEP succeeds on T (AND (NOT T1) (NOT T2)) it returns true.
88f52bb0
Added checks that if T1 and T2 are disjoint, then if SUBTYPEP succeeds on T (AND (NOT T1) (NOT T2)) it returns true.