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