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