(vl-jp-nettypename x &key (ps 'ps)) → ps
Function:
(defun vl-jp-nettypename$inline (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-nettypename-p x))) (let ((__function__ 'vl-jp-nettypename)) (declare (ignorable __function__)) (jp-sym x)))