		Search-engine friendly clone of the ACL2 documentation.

Fal-all-boundp

Fal-all-boundp-fast

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

Definitions and Theorems

Function: fal-all-boundp-fast

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