Prints out the elements of a vl-modport-portlist-p without the enclosing brackets.
(vl-jp-modport-portlist-aux x &key (ps 'ps)) → ps
Function:
(defun vl-jp-modport-portlist-aux-fn (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-modport-portlist-p x))) (let ((__function__ 'vl-jp-modport-portlist-aux)) (declare (ignorable __function__)) (if (atom x) ps (vl-ps-seq (vl-jp-modport-port (car x)) (if (atom (cdr x)) ps (vl-println? ", ")) (vl-jp-modport-portlist-aux (cdr x))))))