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