Vl-syntaxversion-p
- Signature
(vl-syntaxversion-p x) → *
Definitions and Theorems
Function: vl-syntaxversion-p
(defun vl-syntaxversion-p (x)
(declare (xargs :guard t))
(let ((__function__ 'vl-syntaxversion-p))
(declare (ignorable __function__))
(equal x *vl-current-syntax-version*)))
