Def-token/remainder-thms
Introduce token/remainder theorems for a lexing function.
This is very similar to def-prefix/remainder-thms, but is
meant for functions that return an actual vl-token-p instead of just the
characters that they've matched.
Subtopics
- Vl-lex-simple-identifier-or-keyword-token/remainder-thms
- Token and remainder theorems for vl-lex-simple-identifier-or-keyword,
automatically generated by def-token/remainder-thms.
- Vl-lex-unbased-unsized-literal-token/remainder-thms
- Token and remainder theorems for vl-lex-unbased-unsized-literal,
automatically generated by def-token/remainder-thms.
- Vl-lex-time-or-real-number-token/remainder-thms
- Token and remainder theorems for vl-lex-time-or-real-number,
automatically generated by def-token/remainder-thms.
- Vl-lex-token1-token/remainder-thms
- Token and remainder theorems for vl-lex-token1,
automatically generated by def-token/remainder-thms.
- Vl-lex-system-identifier-token/remainder-thms
- Token and remainder theorems for vl-lex-system-identifier,
automatically generated by def-token/remainder-thms.
- Vl-lex-escaped-identifier-token/remainder-thms
- Token and remainder theorems for vl-lex-escaped-identifier,
automatically generated by def-token/remainder-thms.
- Vl-lex-plain-alist-token/remainder-thms
- Token and remainder theorems for vl-lex-plain-alist,
automatically generated by def-token/remainder-thms.
- Vl-lex-1step-or-number-token/remainder-thms
- Token and remainder theorems for vl-lex-1step-or-number,
automatically generated by def-token/remainder-thms.
- Vl-lex-token-token/remainder-thms
- Token and remainder theorems for vl-lex-token,
automatically generated by def-token/remainder-thms.
- Vl-lex-plain-token/remainder-thms
- Token and remainder theorems for vl-lex-plain,
automatically generated by def-token/remainder-thms.
- Vl-lex-oneline-comment-token/remainder-thms
- Token and remainder theorems for vl-lex-oneline-comment,
automatically generated by def-token/remainder-thms.
- Vl-lex-number-token/remainder-thms
- Token and remainder theorems for vl-lex-number,
automatically generated by def-token/remainder-thms.
- Vl-lex-integer-token/remainder-thms
- Token and remainder theorems for vl-lex-integer,
automatically generated by def-token/remainder-thms.
- Vl-lex-block-comment-token/remainder-thms
- Token and remainder theorems for vl-lex-block-comment,
automatically generated by def-token/remainder-thms.
- Vl-lex-timescale-token/remainder-thms
- Token and remainder theorems for vl-lex-timescale,
automatically generated by def-token/remainder-thms.
- Vl-lex-string-token/remainder-thms
- Token and remainder theorems for vl-lex-string,
automatically generated by def-token/remainder-thms.
