		Search-engine friendly clone of the ACL2 documentation.

Fal-all-boundp

Fal-all-boundp-slow

Signature
(fal-all-boundp-slow keys alist) → *

Definitions and Theorems

Function: fal-all-boundp-slow

(defun fal-all-boundp-slow (keys alist)
       (declare (xargs :guard t))
       (let ((__function__ 'fal-all-boundp-slow))
            (declare (ignorable __function__))
            (if (atom keys)
                t
                (and (hons-assoc-equal (car keys) alist)
                     (fal-all-boundp-slow (cdr keys)
                                          alist)))))