|
|
|---|
|
|
|
|---|
Modifying constructor for var/const-sort-constant structures.
(change-var/const-sort-constant x
)
This is an often useful alternative to make-var/const-sort-constant.
We construct a new var/const-sort-constant structure that is a copy of
This is an ordinary
Macro:
(defmacro change-var/const-sort-constant (x &rest args) (std::change-aggregate 'var/const-sort-constant x args 'nil 'change-var/const-sort-constant 'nil))