(vl-gateargs-ok-for-delayredux-p x) recognizes lists where every element satisfies vl-gatearg-ok-for-delayredux-p.
(vl-gateargs-ok-for-delayredux-p x) → std::bool
This is an ordinary deflist. It is
"loose" in that it does not care whether
Function:
(defun vl-gateargs-ok-for-delayredux-p (x) (declare (xargs :guard (vl-plainarglist-p x))) (let ((__function__ 'vl-gateargs-ok-for-delayredux-p)) (declare (ignorable __function__)) (if (consp x) (and (vl-gatearg-ok-for-delayredux-p (car x)) (vl-gateargs-ok-for-delayredux-p (cdr x))) t)))