|
|
|---|
|
|
|
|---|
Constructor macro for defmapping-infop structures.
Syntax:
(make-defmapping-info [:call$ <call$>]
[:expansion <expansion>]
[:doma <doma>]
[:domb <domb>]
[:alpha <alpha>]
[:beta <beta>]
[:alpha-image <alpha-image>]
[:beta-image <beta-image>]
[:beta-of-alpha <beta-of-alpha>]
[:alpha-of-beta <alpha-of-beta>]
[:alpha-injective <alpha-injective>]
[:beta-injective <beta-injective>]
[:doma-guard <doma-guard>]
[:domb-guard <domb-guard>]
[:alpha-guard <alpha-guard>]
[:beta-guard <beta-guard>]
[:unconditional <unconditional>])
This is our preferred way to construct defmapping-infop structures. It simply conses together a structure with the specified fields.
This macro generates a new defmapping-infop structure from scratch. See also change-defmapping-info, which can "change" an existing structure, instead.
The defmapping-infop structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-defmapping-info instead.
This is an ordinary
Macro:
(defmacro make-defmapping-info (&rest args) (std::make-aggregate 'defmapping-info args '((:call$) (:expansion) (:doma) (:domb) (:alpha) (:beta) (:alpha-image) (:beta-image) (:beta-of-alpha) (:alpha-of-beta) (:alpha-injective) (:beta-injective) (:doma-guard) (:domb-guard) (:alpha-guard) (:beta-guard) (:unconditional)) 'make-defmapping-info nil))