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