• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
      • Apt
      • Zfc
      • Acre
      • Milawa
      • Smtlink
      • Abnf
      • Vwsim
      • Isar
      • Wp-gen
      • Dimacs-reader
      • Pfcs
      • Legacy-defrstobj
      • C
      • Proof-checker-array
      • Soft
      • Farray
      • Rp-rewriter
      • Instant-runoff-voting
      • Imp-language
      • Sidekick
      • Ethereum
      • Leftist-trees
      • Java
      • Riscv
      • Taspi
      • Bitcoin
      • Zcash
      • Des
      • X86isa
      • Sha-2
      • Yul
      • Proof-checker-itp13
      • Regex
      • ACL2-programming-language
      • Json
      • Jfkr
      • Equational
      • Cryptography
      • Axe
      • Poseidon
      • Where-do-i-place-my-book
      • Aleo
        • Aleobft
        • Aleovm
          • Circuits
          • Language
            • Grammar
            • Early-version
              • Abstract-syntax
              • Parser
                • Lex-record
                • Lex-group-escaped-char-body
                • Lex-group-instruction-body
                • Lex-increment
                • Lex-decrement
                • Lex-value-type
                • Lex-unary-op
                • Lex-rest-of-block-comment-fns
                • Lex-not-dq-or-backslash
                • Lex-not-star-or-slash
                • *defparse-aleo-group-table*
                • Lex-hex-digit
                • Lex-transition-output
                • Lex-transition-input
                • Lex-binary-op
                • Lex-transition
                • Lex-mapping-value
                • Lex-group-program-declaration
                • Lex-function-output
                • Lex-function-input
                • Lex-finalize-output
                • Lex-finalize-input
                • Lex-program
                • Lex-not-star
                • Lex-mapping-key
                • Lex-hash-op
                • *defparse-aleo-repetition-table*
                  • Lex-cast
                  • Lex-call
                  • Lex-unsigned-type
                  • Lex-signed-type
                  • Lex-function
                  • Lex-finalize-type
                  • Lex-finalize
                  • Lex-commit
                  • Lex-is
                  • Lex-register-type
                  • Lex-mapping
                  • Lex-group-entry-type-visibility
                  • Lex-group-bhp-sizes
                  • Lex-arithmetic-literal
                  • Lex-tuple
                  • Lex-safe-nonascii
                  • Lex-literal-type
                  • Lex-instruction
                  • Lex-entry
                  • Lex-arithmetic-type
                  • Lex-struct
                  • Lex-not-lf-or-cr
                  • Lex-commit-op
                  • Lex-ternary
                  • Lex-plain-ws
                  • Lex-operand
                  • Lex-literal
                  • Lex-hash
                  • Lex-group-letter/digit/_
                  • Lex-finalize-command
                  • Lex-escaped-char
                  • Lex-binary
                  • Lex-unary
                  • Lex-string-element
                  • Lex-import
                  • Lex-group-psd-sizes
                  • Lex-group-escaped-lf/not-lf-or-cr
                  • Lex-group-address-public/private
                  • Lex-group-1*-plain-ws/escaped-lf
                  • Lex-unsigned-literal
                  • Lex-repetition-1*6-hex-digit
                  • Lex-group-u64-public/private
                  • Lex-group-locator/identifier
                  • Lex-signed-literal
                  • Lex-scalar-literal
                  • Lex-group-literal
                  • Lex-group-address-char-*-underbar
                  • Lex-field-literal
                  • Lex-command
                  • Lex-assert
                  • Lex-string-literal
                  • Lex-register-access
                  • Lex-program-id
                  • Lex-plaintext-type
                  • Lex-optional-transition-finalize
                  • Lex-integer-literal
                  • Lex-group-ped-sizes
                  • Lex-group-dot-identifier
                  • Lex-group-digit-*-underbar
                  • Lex-group-1-ws-register
                  • Lex-boolean-literal
                  • Lex-locator
                  • Lex-line-comment
                  • Lex-integer-type
                  • Lex-identifier
                  • Lex-group-1-ws-operand
                  • Lex-group-1-operand
                  • Lex-entry-type
                  • Lex-address-literal
                  • Lex-letter
                  • Lex-comment
                  • Lex-block-comment
                  • Lex-assert-op
                  • Lex-uppercase-letter
                  • Lex-repetition-1*-program-declaration
                  • Lex-repetition-1*-address-char-*-underbar
                  • Lex-register
                  • Lex-lowercase-letter
                  • Lex-is-op
                  • Lex-escaped-ws
                  • Lex-escaped-lf
                  • Lex-visible-ascii
                  • Lex-string-type
                  • Lex-scalar-type
                  • Lex-boolean-type
                  • Lex-address-type
                  • Lex-ternary-op
                  • Lex-repetition-*-program-declaration
                  • Lex-repetition-*-plain-ws-or-escaped-lf
                  • Lex-repetition-*-escaped-lf/not-lf-or-cr
                  • Lex-repetition-*-address-char-*-underbar
                  • Lex-repetition-1*-digit-*-underbar
                  • Lex-group-type
                  • Lex-field-type
                  • Lex-repetition-3-operands
                  • Lex-repetition-1*-ws-register
                  • Lex-repetition-1*-ws-operand
                  • Lex-repetition-1*-instruction
                  • Lex-optional-hyphen
                  • Lex-digit
                  • Lex-sp
                  • Lex-repetition-*-transition-output
                  • Lex-repetition-*-transition-input
                  • Lex-repetition-*-string-element
                  • Lex-repetition-*-letter/digit/_
                  • Lex-repetition-*-function-output
                  • Lex-repetition-*-function-input
                  • Lex-repetition-*-finalize-output
                  • Lex-repetition-*-finalize-input
                  • Lex-repetition-*-dot-identifier
                  • Lex-repetition-*-digit-*-underbar
                  • Lex-repetition-1*-command
                  • Lex-lf
                  • Lex-ht
                  • Lex-dq
                  • Lex-cr
                  • Lex-ws
                  • Lex-repetition-*-ws-register
                  • Lex-repetition-*-ws-operand
                  • Lex-repetition-*-instruction
                  • Lex-repetition-2-operands
                  • Lex-repetition-*-plain-ws
                  • Lex-repetition-*-import
                  • Lex-repetition-*-hex-digit
                  • Lex-repetition-*-comment/ws
                  • Lex-repetition-*-command
                  • Lex-repetition-1*-plain-ws
                  • Lex-group-comment/ws
                  • Lex-repetition-*-underbar
                  • Lex-repetition-*-tuple
                  • Lex-repetition-*-entry
                  • Lex-repetition-*-digit
                  • Lex-repetition-1*-tuple
                  • Lex-repetition-1*-digit
                  • Lex-address-char
                  • Lex-group-address-char
                  • Lex-cws
                  • Address-char-nat-p
                  • *defparse-aleo-option-table*
                • Concrete-syntax
              • Concrete-syntax
          • Leo
        • Bigmems
        • Builtins
        • Execloader
        • Solidity
        • Paco
        • Concurrent-programs
        • Bls12-377-curves
      • Debugging
      • Community
      • Std
      • Proof-automation
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Parser

    *defparse-aleo-repetition-table*

    Table of repetition parsing functions.

    Definition: *defparse-aleo-repetition-table*

    (defconst *defparse-aleo-repetition-table*
     '(((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "plain-ws")))
        . lex-repetition-*-plain-ws)
       ((:repetition (:repeat 1 (:infinity))
                     (:rulename (:rulename "plain-ws")))
        . lex-repetition-1*-plain-ws)
       ((:repetition
           (:repeat 0 (:infinity))
           (:group
                (((:repetition (:repeat 1 (:infinity))
                               (:rulename (:rulename "plain-ws"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "escaped-lf")))))))
        .
        lex-repetition-*-plain-ws-or-escaped-lf)
       ((:repetition
         (:repeat 0 (:infinity))
         (:group
              (((:repetition (:repeat 1 (:finite 1))
                             (:rulename (:rulename "escaped-lf"))))
               ((:repetition (:repeat 1 (:finite 1))
                             (:rulename (:rulename "not-lf-or-cr")))))))
        .
        lex-repetition-*-escaped-lf/not-lf-or-cr)
       ((:repetition
             (:repeat 0 (:infinity))
             (:group (((:repetition (:repeat 1 (:finite 1))
                                    (:rulename (:rulename "comment"))))
                      ((:repetition (:repeat 1 (:finite 1))
                                    (:rulename (:rulename "ws")))))))
        . lex-repetition-*-comment/ws)
       ((:repetition
          (:repeat 0 (:infinity))
          (:group (((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "letter"))))
                   ((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "digit"))))
                   ((:repetition (:repeat 1 (:finite 1))
                                 (:char-val (:insensitive nil "_")))))))
        . lex-repetition-*-letter/digit/_)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "digit")))
        . lex-repetition-*-digit)
       ((:repetition (:repeat 1 (:infinity))
                     (:rulename (:rulename "digit")))
        . lex-repetition-1*-digit)
       ((:repetition
           (:repeat 0 (:infinity))
           (:group
                (((:repetition (:repeat 1 (:finite 1))
                               (:char-val (:insensitive nil ".")))
                  (:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "identifier")))))))
        . lex-repetition-*-dot-identifier)
       ((:repetition (:repeat 0 (:infinity))
                     (:char-val (:insensitive nil "_")))
        . lex-repetition-*-underbar)
       ((:repetition
          (:repeat 0 (:infinity))
          (:group (((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "digit")))
                    (:repetition (:repeat 0 (:infinity))
                                 (:char-val (:insensitive nil "_")))))))
        . lex-repetition-*-digit-*-underbar)
       ((:repetition
          (:repeat 1 (:infinity))
          (:group (((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "digit")))
                    (:repetition (:repeat 0 (:infinity))
                                 (:char-val (:insensitive nil "_")))))))
        . lex-repetition-1*-digit-*-underbar)
       ((:repetition
          (:repeat 0 (:infinity))
          (:group (((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "address-char")))
                    (:repetition (:repeat 0 (:infinity))
                                 (:char-val (:insensitive nil "_")))))))
        .
        lex-repetition-*-address-char-*-underbar)
       ((:repetition
          (:repeat 1 (:infinity))
          (:group (((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "address-char")))
                    (:repetition (:repeat 0 (:infinity))
                                 (:char-val (:insensitive nil "_")))))))
        .
        lex-repetition-1*-address-char-*-underbar)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "hex-digit")))
        . lex-repetition-*-hex-digit)
       ((:repetition (:repeat 1 (:finite 6))
                     (:rulename (:rulename "hex-digit")))
        . lex-repetition-1*6-hex-digit)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "string-element")))
        . lex-repetition-*-string-element)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "tuple")))
        . lex-repetition-*-tuple)
       ((:repetition (:repeat 1 (:infinity))
                     (:rulename (:rulename "tuple")))
        . lex-repetition-1*-tuple)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "entry")))
        . lex-repetition-*-entry)
       ((:repetition
             (:repeat 2 (:finite 2))
             (:group (((:repetition (:repeat 1 (:finite 1))
                                    (:rulename (:rulename "operand")))
                       (:repetition (:repeat 1 (:finite 1))
                                    (:rulename (:rulename "ws")))))))
        . lex-repetition-2-operands)
       ((:repetition
             (:repeat 3 (:finite 3))
             (:group (((:repetition (:repeat 1 (:finite 1))
                                    (:rulename (:rulename "operand")))
                       (:repetition (:repeat 1 (:finite 1))
                                    (:rulename (:rulename "ws")))))))
        . lex-repetition-3-operands)
       ((:repetition
           (:repeat 0 (:infinity))
           (:group (((:repetition (:repeat 1 (:finite 1))
                                  (:rulename (:rulename "ws")))
                     (:repetition (:repeat 1 (:finite 1))
                                  (:rulename (:rulename "operand")))))))
        . lex-repetition-*-ws-operand)
       ((:repetition
           (:repeat 1 (:infinity))
           (:group (((:repetition (:repeat 1 (:finite 1))
                                  (:rulename (:rulename "ws")))
                     (:repetition (:repeat 1 (:finite 1))
                                  (:rulename (:rulename "operand")))))))
        . lex-repetition-1*-ws-operand)
       ((:repetition
          (:repeat 0 (:infinity))
          (:group (((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "ws")))
                    (:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "register")))))))
        . lex-repetition-*-ws-register)
       ((:repetition
          (:repeat 1 (:infinity))
          (:group (((:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "ws")))
                    (:repetition (:repeat 1 (:finite 1))
                                 (:rulename (:rulename "register")))))))
        . lex-repetition-1*-ws-register)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "function-input")))
        . lex-repetition-*-function-input)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "function-output")))
        . lex-repetition-*-function-output)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "instruction")))
        . lex-repetition-*-instruction)
       ((:repetition (:repeat 1 (:infinity))
                     (:rulename (:rulename "instruction")))
        . lex-repetition-1*-instruction)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "finalize-input")))
        . lex-repetition-*-finalize-input)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "finalize-output")))
        . lex-repetition-*-finalize-output)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "command")))
        . lex-repetition-*-command)
       ((:repetition (:repeat 1 (:infinity))
                     (:rulename (:rulename "command")))
        . lex-repetition-1*-command)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "transition-input")))
        . lex-repetition-*-transition-input)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "transition-output")))
        . lex-repetition-*-transition-output)
       ((:repetition (:repeat 0 (:infinity))
                     (:rulename (:rulename "import")))
        . lex-repetition-*-import)
       ((:repetition
           (:repeat 0 (:infinity))
           (:group
                (((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "mapping"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "struct"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "record"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "function"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "transition")))))))
        . lex-repetition-*-program-declaration)
       ((:repetition
           (:repeat 1 (:infinity))
           (:group
                (((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "mapping"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "struct"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "record"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "function"))))
                 ((:repetition (:repeat 1 (:finite 1))
                               (:rulename (:rulename "transition")))))))
        .
        lex-repetition-1*-program-declaration)))