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