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

Table of group parsing functions.
Definition: *defparse-leo-group-table*
(defconst *defparse-leo-group-table*
  '(((((: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 1 (:finite 1))
                    (:rulename (:rulename "lowercase-letter"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:rulename (:rulename "decimal-digit")))))
     . lex-lcletter/decdigit)
    ((((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "u8"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "u16"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "u32"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "u64"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "u128")))))
     . lex-u8/16/32/64/128)
    ((((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "i8"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "i16"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "i32"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "i64"))))
      ((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:sensitive "i128")))))
     . lex-i8/16/32/64/128)))