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