(vl-ppst-record-def-use name ctx &key (ppst 'ppst)) → ppst
Function:
(defun vl-ppst-record-def-use-fn (name ctx ppst) (declare (xargs :stobjs (ppst))) (declare (xargs :guard (and (stringp name) (vl-def-context-p ctx)))) (let ((__function__ 'vl-ppst-record-def-use)) (declare (ignorable __function__)) (b* ((def-map (vl-ppst->defmap)) (def-map (vl-extend-def-map name ctx def-map))) (vl-ppst-update-defmap def-map))))