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