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