A copying macro that lets you create new wcp-lit-actions-p structures, based on existing structures.
Syntax:
(change-wcp-lit-actions x [:witnesses <witnesses>] [:examples <examples>])
This is a sometimes useful alternative to make-wcp-lit-actions.
It constructs a new wcp-lit-actions-p structure that is a copy of
This is an ordinary
Macro:
(defmacro change-wcp-lit-actions (x &rest args) (std::change-aggregate 'wcp-lit-actions x args '((:witnesses . wcp-lit-actions->witnesses) (:examples . wcp-lit-actions->examples)) 'change-wcp-lit-actions 'nil))