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