235 |
(type-and type1 (second type2)))) |
(type-and type1 (second type2)))) |
236 |
((and (consp type1) (eq (car type1) 'values)) |
((and (consp type1) (eq (car type1) 'values)) |
237 |
(type-and (second type1) type2)) |
(type-and (second type1) type2)) |
238 |
((eq type1 t) type2) |
((member type1 '(t * object) :test #'eq) type2) |
239 |
((eq type1 '*) type2) |
((member type2 '(t * object) :test #'eq) type1) |
|
((eq type1 'object) type2) |
|
|
((eq type2 'object) type1) |
|
|
((eq type2 t) type1) |
|
|
((eq type2 '*) type1) |
|
240 |
((or (integer-typep type1) (integer-typep type2)) |
((or (integer-typep type1) (integer-typep type2)) |
241 |
(integer-type-and type1 type2)) |
(integer-type-and type1 type2)) |
242 |
((consp type1) |
((consp type1) |