		Search-engine friendly clone of the ACL2 documentation.

Eviscconfig

Change-eviscconfig

Modifying constructor for eviscconfig structures.

Syntax

(change-eviscconfig x 
                    [:print-level <print-level>] 
                    [:print-length <print-length>] 
                    [:replacement-alist <replacement-alist>] 
                    [:hiding-cars <hiding-cars>])

This is an often useful alternative to make-eviscconfig.

We construct a new eviscconfig structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by fty::defprod.

Macro: change-eviscconfig

(defmacro change-eviscconfig (x &rest args)
  (std::change-aggregate
       'eviscconfig
       x args
       '((:print-level . eviscconfig->print-level)
         (:print-length . eviscconfig->print-length)
         (:replacement-alist . eviscconfig->replacement-alist)
         (:hiding-cars . eviscconfig->hiding-cars))
       'change-eviscconfig
       'remake-eviscconfig))