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