(vl-fast-range-p x) → *
Function:
(defun vl-fast-range-p$inline (x) (declare (xargs :guard (vl-packeddimension-p x))) (let ((__function__ 'vl-fast-range-p)) (declare (ignorable __function__)) (mbe :logic (vl-range-p x) :exec (not (eq x :vl-unsized-dimension)))))