Modifying constructor for funarg structures.
(change-funarg x [:name <name>] [:sort <sort>] [:value <value>])
This is an often useful alternative to make-funarg.
We construct a new funarg structure that is a copy of
This is an ordinary
Macro:
(defmacro change-funarg (x &rest args) (std::change-aggregate 'funarg x args '((:name . funarg->name) (:sort . funarg->sort) (:value . funarg->value)) 'change-funarg 'nil))