Modifying constructor for proof-list-outcome-error structures.
(change-proof-list-outcome-error x )
This is an often useful alternative to make-proof-list-outcome-error.
We construct a new proof-list-outcome-error structure that is a copy of
This is an ordinary
Macro:
(defmacro change-proof-list-outcome-error (x &rest args) (std::change-aggregate 'proof-list-outcome-error x args 'nil 'change-proof-list-outcome-error 'nil))