Constructor macro for constraint-rule-p structures.
(make-constraint-rule [:thmname <thmname>] [:lit-alist <lit-alist>] [:syntaxp <syntaxp>])
This is our preferred way to construct constraint-rule-p structures. It simply conses together a structure with the specified fields.
This macro generates a new constraint-rule-p structure from scratch. See also change-constraint-rule, which can "change" an existing structure, instead.
This is an ordinary