Representation of SystemVerilog assertion sequence repetition types,
i.e., [*...], [->...], or [=...] style repetition.
See SystemVerilog-2012 Section 16.9.2.
- [* ...], [*], and [+] is called consecutive repetition
- [-> ...] is called goto repetition
- [= ...] is called nonconsecutive repetition
This is an ordinary defenum.
(defun vl-repetitiontype-p (x)
(declare (xargs :guard t))
(or (eq x ':vl-repetition-consecutive)
(eq x ':vl-repetition-goto)
(eq x ':vl-repetition-nonconsecutive)))
(implies (vl-repetitiontype-p x)
(if (symbolp x)
(if (not (equal x 't))
(not (equal x 'nil))