Prints out the elements of a vl-modelementlist-p with the enclosing brackets.
(vl-jp-modelementlist x &key (ps 'ps)) → ps
Function:
(defun vl-jp-modelementlist-fn (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-modelementlist-p x))) (let ((__function__ 'vl-jp-modelementlist)) (declare (ignorable __function__)) (vl-ps-seq (vl-print "[") (vl-jp-modelementlist-aux x) (vl-println? "]"))))