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