|
|
|---|
|
|
|
|---|
Constructor macro for evmac-appcondp structures.
Syntax:
(make-evmac-appcond [:name <name>]
[:formula <formula>])
This is our preferred way to construct evmac-appcondp structures. It simply conses together a structure with the specified fields.
This macro generates a new evmac-appcondp structure from scratch. See also change-evmac-appcond, which can "change" an existing structure, instead.
The evmac-appcondp structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-evmac-appcond instead.
This is an ordinary
Macro:
(defmacro make-evmac-appcond (&rest args) (std::make-aggregate 'evmac-appcond args '((:name) (:formula)) 'make-evmac-appcond nil))