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