Lift atj-check-no-aij-type to lists.
(atj-check-no-aij-type-list x fn) → std::bool
This is an ordinary std::deflist. It is
"loose" in that it does not care whether
Function:
(defun atj-check-no-aij-type-list (x fn) (declare (xargs :guard (and (atj-type-listp x) (symbolp fn)))) (let ((__function__ 'atj-check-no-aij-type-list)) (declare (ignorable __function__)) (if (consp x) (and (atj-check-no-aij-type (car x) fn) (atj-check-no-aij-type-list (cdr x) fn)) t)))