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