		Search-engine friendly clone of the ACL2 documentation.

B*-binders

Patbind-with-fast

b* binder to make some alists fast for the remainder of the b* form.

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

Macro: patbind-with-fast

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