		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)))))