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