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

Table of repetition parsing functions.
Definition: *defparse-leo-repetition-table*
(defconst *defparse-leo-repetition-table*
 '(((:repetition
         (:repeat 0 (:infinity))
         (:rulename (:rulename "not-line-feed-or-carriage-return")))
    .
    lex-*-not-line-feed-or-carriage-return)
   ((:repetition
       (:repeat 0 (:infinity))
       (:group
            (((:repetition (:repeat 1 (:finite 1))
                           (:rulename (:rulename "letter"))))
             ((:repetition (:repeat 1 (:finite 1))
                           (:rulename (:rulename "decimal-digit"))))
             ((:repetition (:repeat 1 (:finite 1))
                           (:char-val (:insensitive nil "_")))))))
    . lex-*-letter/decdigit/underscore)
   ((:repetition
     (:repeat 0 (:infinity))
     (:group
         (((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "lowercase-letter"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "decimal-digit")))))))
    . lex-*-lcletter/decdigit)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "decimal-digit")))
    . lex-*-decimal-digit)
   ((:repetition (:repeat 1 (:infinity))
                 (:rulename (:rulename "decimal-digit")))
    . lex-1*-decimal-digit)
   ((:repetition (:repeat 1 (:finite 6))
                 (:rulename (:rulename "hexadecimal-digit")))
    . lex-1*6-hexadecimal-digit)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "string-literal-element")))
    . lex-*-string-literal-element)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "hexadecimal-digit")))
    . lex-*-hexadecimal-digit)
   ((:repetition
     (:repeat 58 (:finite 58))
     (:group
         (((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "lowercase-letter"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "decimal-digit")))))))
    . lex-58-lcletter/decdigit)
   ((:repetition (:repeat 0 (:infinity))
                 (:rulename (:rulename "lexeme")))
    . lex-*-lexeme)))