(vl-ppst-update-istack istack &key (ppst 'ppst)) → ppst
Function:
(defun vl-ppst-update-istack$inline (istack ppst) (declare (xargs :stobjs (ppst))) (declare (xargs :guard (vl-istack-p istack))) (let ((__function__ 'vl-ppst-update-istack)) (declare (ignorable __function__)) (vl-ppst-update-istack-raw istack ppst)))