Faig-fix

Faig-fix-alist

(faig-fix-alist x) fixes every value in an alist with faig-fix.

Signature
(faig-fix-alist x) → *

Definitions and Theorems

Function: faig-fix-alist

(defun faig-fix-alist (x)
  (declare (xargs :guard t))
  (let ((__function__ 'faig-fix-alist))
    (declare (ignorable __function__))
    (cond ((atom x) nil)
          ((atom (car x))
           (faig-fix-alist (cdr x)))
          (t (cons (cons (caar x) (faig-fix (cdar x)))
                   (faig-fix-alist (cdr x)))))))

Subtopics

Faig-fix-alist-thms: Basic theorems about faig-fix-alist.