		Search-engine friendly clone of the ACL2 documentation.
Lexer
defparse-yul-repetition-table

Table of repetition parsing functions.
Definition: *defparse-yul-repetition-table*
(defconst *defparse-yul-repetition-table*
 '(((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "decimal-digit")))
    . lex-repetition-*-decimal-digit)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "hex-digit")))
    . lex-repetition-*-hex-digit)
   ((:repetition (:repeat 2 (:finite 2))
                 (:rulename (:rulename "hex-digit")))
    . lex-repetition-2-hex-digits)
   ((:repetition
     (:repeat 0 (:infinity))
     (:group
      (((:repetition
         (:repeat 1 (:finite 1))
         (:option
              (((:repetition (:repeat 1 (:finite 1))
                             (:char-val (:insensitive nil "_")))))))
        (:repetition (:repeat 2 (:finite 2))
                     (:rulename (:rulename "hex-digit")))))))
    .
    lex-repetition-*-optional-underbar-and-two-hex-digits)
   ((:repetition (:repeat 4 (:finite 4))
                 (:rulename (:rulename "hex-digit")))
    . lex-repetition-4-hex-digits)
   ((:repetition
     (:repeat 0 (:infinity))
     (:group
       (((:repetition
              (:repeat 1 (:finite 1))
              (:rulename (:rulename "double-quoted-printable"))))
        ((:repetition (:repeat 1 (:finite 1))
                      (:rulename (:rulename "escape-sequence")))))))
    . lex-repetition-*-dquoted-or-escape)
   ((:repetition
     (:repeat 0 (:infinity))
     (:group
       (((:repetition
              (:repeat 1 (:finite 1))
              (:rulename (:rulename "single-quoted-printable"))))
        ((:repetition (:repeat 1 (:finite 1))
                      (:rulename (:rulename "escape-sequence")))))))
    . lex-repetition-*-squoted-or-escape)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "identifier-rest")))
    . lex-repetition-*-identifier-rest)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "whitespace-char")))
    . lex-repetition-*-whitespace-char)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "not-lf-or-cr")))
    . lex-repetition-*-not-lf-or-cr)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "lexeme")))
    . lex-repetition-*-lexeme)))