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