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