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