(vl-dpi-spec-token-p x) → *
Function:
(defun vl-dpi-spec-token-p (x) (declare (xargs :guard (vl-token-p x))) (let ((__function__ 'vl-dpi-spec-token-p)) (declare (ignorable __function__)) (and (eq (vl-token->type x) :vl-stringtoken) (let ((expansion (vl-stringtoken->expansion x))) (or (equal expansion "DPI") (equal expansion "DPI-C"))))))