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