		Search-engine friendly clone of the ACL2 documentation.

Fast-alists

With-fast-alists

Concisely call with-fast-alist on multiple alists.

Example:

(with-fast-alists (a b c) form)

is just shorthand for:

(with-fast-alist a
 (with-fast-alist b
  (with-fast-alist c
   form)))

Macro: with-fast-alists

(defmacro with-fast-alists (alists form)
          (with-fast-alists-fn alists form))

Function: with-fast-alists-fn

(defun with-fast-alists-fn (alists form)
       (if (atom alists)
           form
           (cons 'with-fast-alist
                 (cons (car alists)
                       (cons (with-fast-alists-fn (cdr alists) form)
                             'nil)))))