		Search-engine friendly clone of the ACL2 documentation.

Aig-constructors

Aig-orc2-lists

(aig-orc2-lists x y) pairwise orc2s together the AIGs from the lists x or y.

Signature
(aig-orc2-lists x y) → aig-list

Definitions and Theorems

Function: aig-orc2-lists

(defun aig-orc2-lists (x y)
  (declare (xargs :guard t))
  (let ((__function__ 'aig-orc2-lists))
    (declare (ignorable __function__))
    (if (or (atom x) (atom y))
        nil
      (cons (aig-orc2 (car x) (car y))
            (aig-orc2-lists (cdr x) (cdr y))))))