(vl-jp-maybe-exprtype x &key (ps 'ps)) → ps
Function:
(defun vl-jp-maybe-exprtype$inline (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-maybe-exprtype-p x))) (let ((__function__ 'vl-jp-maybe-exprtype)) (declare (ignorable __function__)) (if x (vl-jp-exprtype x) (vl-print "null"))))