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