|
|
|---|
|
|
|
|---|
Modifying constructor for fun-sort-transition structures.
(change-fun-sort-transition x
)
This is an often useful alternative to make-fun-sort-transition.
We construct a new fun-sort-transition structure that is a copy of
This is an ordinary
Macro:
(defmacro change-fun-sort-transition (x &rest args) (std::change-aggregate 'fun-sort-transition x args 'nil 'change-fun-sort-transition 'nil))