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