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