-
- Downloads
Changed types of the form (satisfies (lambda (obj) (and (tn-p obj) ...)))
to (and tn obj (satisfies (lambda (obj) ...))) so that the compiler can easily note that things like NIL do not satisfy these types.
Loading
Please register or sign in to comment