		Search-engine friendly clone of the ACL2 documentation.

B*-binders

Patbind-free-on-exit

b* binder for freeing fast alists when the b* exits.

This is a b* binder introduced with def-b*-binder.

Macro: patbind-free-on-exit

(defmacro patbind-free-on-exit (args forms rest-expr)
  (declare (xargs :guard (not forms))
           (ignorable forms))
  (cons 'fast-alists-free-on-exit
        (cons args (cons rest-expr 'nil))))