(vl-parse-assertion-item-looks-concurrent-p &key (tokstream 'tokstream)) → *
Function:
(defun vl-parse-assertion-item-looks-concurrent-p-fn (tokstream) (declare (xargs :stobjs (tokstream))) (declare (xargs :guard t)) (let ((__function__ 'vl-parse-assertion-item-looks-concurrent-p)) (declare (ignorable __function__)) (and (consp (vl-tokstream->tokens)) (vl-lookahead-is-some-token? '(:vl-kwd-property :vl-kwd-sequence) (cdr (vl-tokstream->tokens))))))