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