Vl-description-has-comments-p
- Signature
(vl-description-has-comments-p x) → *
- Arguments
- x — Guard (vl-description-p x).
Definitions and Theorems
Function: vl-description-has-comments-p
(defun vl-description-has-comments-p (x)
(declare (xargs :guard (vl-description-p x)))
(let ((__function__ 'vl-description-has-comments-p))
(declare (ignorable __function__))
(b* ((x (vl-description-fix x)))
(case (tag x)
((:vl-module :vl-udp
:vl-interface :vl-package
:vl-program :vl-class
:vl-config :vl-typedef)
t)
(otherwise nil)))))
