(vl-plausible-start-of-range-p &key (tokstream 'tokstream)) → *
Function:
(defun vl-plausible-start-of-range-p-fn (tokstream) (declare (xargs :stobjs (tokstream))) (declare (xargs :guard t)) (let ((__function__ 'vl-plausible-start-of-range-p)) (declare (ignorable __function__)) (and (vl-is-token? :vl-lbrack) (not (vl-lookahead-is-some-token? '(:vl-times :vl-arrow :vl-equalsign) (cdr (vl-tokstream->tokens)))))))