		Search-engine friendly clone of the ACL2 documentation.

Faig-restrict

Faig-restrict-alists

(faig-restrict-alists x sigma) substitutes into a list of FAIG alists.

Signature
(faig-restrict-alists x sigma) → *

Definitions and Theorems

Function: faig-restrict-alists

(defun faig-restrict-alists (x sigma)
       (declare (xargs :guard t))
       (let ((__function__ 'faig-restrict-alists))
            (declare (ignorable __function__))
            (if (atom x)
                nil
                (cons (faig-restrict-alist (car x) sigma)
                      (faig-restrict-alists (cdr x) sigma)))))