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