Check whether the next token is a
(vl-is-dpi-spec-string? &key (tokstream 'tokstream)) → *
Function:
(defun vl-is-dpi-spec-string?-fn (tokstream) (declare (xargs :stobjs (tokstream))) (declare (xargs :guard t)) (let ((__function__ 'vl-is-dpi-spec-string?)) (declare (ignorable __function__)) (b* ((tokens (vl-tokstream->tokens))) (and (consp tokens) (vl-dpi-spec-token-p (car tokens))))))