|
|
|---|
|
|
|
|---|
Basic constructor macro for tyname-info structures.
(make-tyname-info [:type <type>])
This is the usual way to construct tyname-info structures. It simply conses together a structure with the specified fields.
This macro generates a new tyname-info structure from scratch. See also change-tyname-info, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-tyname-info (&rest args) (std::make-aggregate 'tyname-info args '((:type)) 'make-tyname-info nil))
Function:
(defun tyname-info (type) (declare (xargs :guard (typep type))) (declare (xargs :guard t)) (b* ((type (mbe :logic (type-fix type) :exec type))) (list (cons 'type type))))