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