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