Vl-hidname-p
Recognizer for hid names.
- Signature
(vl-hidname-p x) → bool
Definitions and Theorems
Function: vl-hidname-p
(defun vl-hidname-p (x)
(declare (xargs :guard t))
(let ((__function__ 'vl-hidname-p))
(declare (ignorable __function__))
(or (eq x :vl-$root) (stringp x))))
