Constructor macro for honsed wcp-instance-rule-p structures.
Syntax:
(make-honsed-wcp-instance-rule [:name <name>] [:enabledp <enabledp>] [:pred <pred>] [:vars <vars>] [:expr <expr>] [:restriction <restriction>] [:theorem <theorem>])
This is identical to make-wcp-instance-rule, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-wcp-instance-rule (&rest args) (std::make-aggregate 'wcp-instance-rule args '((:name) (:enabledp) (:pred) (:vars) (:expr) (:restriction) (:theorem)) 'make-honsed-wcp-instance-rule t))