Constructor macro for honsed wcp-lit-actions-p structures.
Syntax:
(make-honsed-wcp-lit-actions [:witnesses <witnesses>] [:examples <examples>])
This is identical to make-wcp-lit-actions, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-wcp-lit-actions (&rest args) (std::make-aggregate 'wcp-lit-actions args '((:witnesses) (:examples)) 'make-honsed-wcp-lit-actions t))