(vl-udp-edge-symbol-token-p x) → *
Function:
(defun vl-udp-edge-symbol-token-p (x) (declare (xargs :guard (vl-token-p x))) (let ((__function__ 'vl-udp-edge-symbol-token-p)) (declare (ignorable __function__)) (case (vl-token->type x) (:vl-times t) (:vl-idtoken (consp (member-equal (vl-idtoken->name x) '("r" "R" "f" "F" "p" "P" "n" "N")))) (otherwise nil))))