Constructor macro for wcp-instance-rule-p structures.
(make-wcp-instance-rule [:name <name>] [:enabledp <enabledp>] [:pred <pred>] [:vars <vars>] [:expr <expr>] [:restriction <restriction>] [:theorem <theorem>])
This is our preferred way to construct wcp-instance-rule-p structures. It simply conses together a structure with the specified fields.
This macro generates a new wcp-instance-rule-p structure from scratch. See also change-wcp-instance-rule, which can "change" an existing structure, instead.
This is an ordinary