|
|
|---|
|
|
|
|---|
Constructor macro for eqbylbp-config-p structures.
Syntax:
(make-eqbylbp-config [:restriction <restriction>]
[:witness-rule <witness-rule>]
[:instance-rule <instance-rule>]
[:prune-examples <prune-examples>]
[:passes <passes>]
[:simp-hint <simp-hint>]
[:add-hints <add-hints>]
[:verbosep <verbosep>])
This is our preferred way to construct eqbylbp-config-p structures. It simply conses together a structure with the specified fields.
This macro generates a new eqbylbp-config-p structure from scratch. See also change-eqbylbp-config, which can "change" an existing structure, instead.
The eqbylbp-config-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-eqbylbp-config instead.
This is an ordinary
Macro:
(defmacro make-eqbylbp-config (&rest args) (std::make-aggregate 'eqbylbp-config args '((:restriction) (:witness-rule) (:instance-rule) (:prune-examples) (:passes) (:simp-hint) (:add-hints) (:verbosep)) 'make-eqbylbp-config nil))