List of the
Definition:
(defconst *atc-type1-from-type2-fns* (atc-type1-from-type2-fns-gen *nonchar-integer-types*))
Function:
(defun atc-type1-from-type2-fns-gen-aux (type1 type2s) (cond ((endp type2s) nil) (t (append (and (not (equal type1 (car type2s))) (list (pack (type-kind type1) '-from- (type-kind (car type2s))))) (atc-type1-from-type2-fns-gen-aux type1 (cdr type2s))))))
Function:
(defun atc-type1-from-type2-fns-gen (type1s) (cond ((endp type1s) nil) (t (append (atc-type1-from-type2-fns-gen-aux (car type1s) *nonchar-integer-types*) (atc-type1-from-type2-fns-gen (cdr type1s))))))