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