		Search-engine friendly clone of the ACL2 documentation.

Fast-alists

With-stolen-alists

Concisely call with-stolen-alist on multiple alists.

Example:

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

is just shorthand for:

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

Macro: with-stolen-alists

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

Function: with-stolen-alists-fn

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