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