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