- (format t " type K=~S~%" k)
- (assert (subtypep `(or ,i ,j) `(or ,i ,j ,k)))
- (assert (subtypep `(or ,i ,j) `(or ,k ,j ,i)))))))
+ (format t " type K=~S~%" k)
+ (assert (subtypep `(or ,i ,j) `(or ,i ,j ,k)))
+ (assert (subtypep `(or ,i ,j) `(or ,k ,j ,i)))))))