|
|
|---|
|
|
|
|---|
Constructor macro for honsed defmapping-infop structures.
Syntax:
(make-honsed-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 identical to make-defmapping-info, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-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-honsed-defmapping-info t))