Lift atc-formal-affectablep to lists.
(atc-formal-affectable-listp x typed-formals) → std::bool
This is an ordinary std::deflist. It is
"strict" in that it requires
Function:
(defun atc-formal-affectable-listp (x typed-formals) (declare (xargs :guard (and (symbol-listp x) (atc-symbol-varinfo-alistp typed-formals)))) (let ((__function__ 'atc-formal-affectable-listp)) (declare (ignorable __function__)) (if (consp x) (and (atc-formal-affectablep (car x) typed-formals) (atc-formal-affectable-listp (cdr x) typed-formals)) (null x))))