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