(vl-plausible-start-of-assertion-item-p &key (tokstream 'tokstream)) → *
Function:
(defun vl-plausible-start-of-assertion-item-p-fn (tokstream) (declare (xargs :stobjs (tokstream))) (declare (xargs :guard t)) (let ((__function__ 'vl-plausible-start-of-assertion-item-p)) (declare (ignorable __function__)) (let ((assertion-keywords '(:vl-kwd-assume :vl-kwd-assert :vl-kwd-cover :vl-kwd-restrict))) (if (vl-is-token? :vl-idtoken) (and (vl-lookahead-is-token? :vl-colon (cdr (vl-tokstream->tokens))) (vl-lookahead-is-some-token? assertion-keywords (cddr (vl-tokstream->tokens)))) (vl-is-some-token? assertion-keywords)))))