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