Modifying constructor for svex-reduce-config structures.
(change-svex-reduce-config x [:width-extns <width-extns>] [:integerp-extns <integerp-extns>] [:skip-bitor/and/xor-repeated <skip-bitor/and/xor-repeated>] [:keep-missing-env-vars <keep-missing-env-vars>])
This is an often useful alternative to make-svex-reduce-config.
We construct a new svex-reduce-config structure that is a copy of
This is an ordinary
Macro:
(defmacro change-svex-reduce-config (x &rest args) (std::change-aggregate 'svex-reduce-config x args '((:width-extns . svex-reduce-config->width-extns) (:integerp-extns . svex-reduce-config->integerp-extns) (:skip-bitor/and/xor-repeated . svex-reduce-config->skip-bitor/and/xor-repeated) (:keep-missing-env-vars . svex-reduce-config->keep-missing-env-vars)) 'change-svex-reduce-config 'remake-svex-reduce-config))