		Search-engine friendly clone of the ACL2 documentation.

Faig-partial-eval

Faig-partial-eval-alists

(faig-partial-eval-alists x env) partially evaluates a list of FAIG alists.

Signature
(faig-partial-eval-alists x env) → *

Definitions and Theorems

Function: faig-partial-eval-alists

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