Determines if a parsed
(vl-parsed-portdecl-head->complete-p head) → *
SystemVerilog Section 23.2.2.1: "If a port declaration includes a net or a variable type, then the port is considered completely declared."
Function:
(defun vl-parsed-portdecl-head->complete-p (head) (declare (xargs :guard (vl-parsed-portdecl-head-p head))) (let ((__function__ 'vl-parsed-portdecl-head->complete-p)) (declare (ignorable __function__)) (b* (((vl-parsed-portdecl-head head))) (if (or head.nettype head.var-p head.type) t nil))))