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