		Search-engine friendly clone of the ACL2 documentation.

Fast-alists

Fast-alists-free-on-exit

Concisely call fast-alist-free-on-exit for several alists.

For example:

(fast-alists-free-on-exit (a b c) form)

is just shorthand for:

(fast-alist-free-on-exit a
 (fast-alist-free-on-exit b
  (fast-alist-free-on-exit c
   form)))

Macro: fast-alists-free-on-exit

(defmacro fast-alists-free-on-exit (alists form)
  (fast-alists-free-on-exit-fn alists form))

Function: fast-alists-free-on-exit-fn

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