Modifying constructor for svtv-override-check structures.
(change-svtv-override-check x [:impl-test <impl-test>] [:impl-val <impl-val>] [:spec-test <spec-test>] [:spec-val <spec-val>] [:refvar <refvar>])
This is an often useful alternative to make-svtv-override-check.
We construct a new svtv-override-check structure that is a copy of
This is an ordinary
Macro:
(defmacro change-svtv-override-check (x &rest args) (std::change-aggregate 'svtv-override-check x args '((:impl-test . svtv-override-check->impl-test) (:impl-val . svtv-override-check->impl-val) (:spec-test . svtv-override-check->spec-test) (:spec-val . svtv-override-check->spec-val) (:refvar . svtv-override-check->refvar)) 'change-svtv-override-check 'nil))