|
|
|---|
|
|
|
|---|
Raw constructor for vl-dupeinst-key-p structures.
Syntax:
(vl-dupeinst-key modname inputs)
This is the lowest-level constructor for vl-dupeinst-key-p structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-vl-dupeinst-key or change-vl-dupeinst-key instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
Note that we always use hons when creating vl-dupeinst-key-p structures.
This is an ordinary constructor function introduced by defaggregate.
Function:
(defun vl-dupeinst-key (modname inputs) (declare (xargs :guard (and (stringp modname) (vl-exprlist-p inputs)))) (hons :vl-dupeinst-key (hons (hons 'modname modname) (hons (hons 'inputs inputs) nil))))