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