		Search-engine friendly clone of the ACL2 documentation.

Aig-and-list

Aig-and-list-aux

Signature
(aig-and-list-aux x) → *

Definitions and Theorems

Function: aig-and-list-aux

(defun aig-and-list-aux (x)
  (declare (xargs :guard t))
  (let ((__function__ 'aig-and-list-aux))
    (declare (ignorable __function__))
    (if (atom x)
        t
      (aig-and (car x)
               (aig-and-list-aux (cdr x))))))