• 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-group-table*

    Table of group parsing functions.

    Definition: *defparse-aleo-group-table*

    (defconst *defparse-aleo-group-table*
      '(((((:repetition (:repeat 1 (:infinity))
                        (:rulename (:rulename "plain-ws"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "escaped-lf")))))
         . lex-group-1*-plain-ws/escaped-lf)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "escaped-lf"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "not-lf-or-cr")))))
         . lex-group-escaped-lf/not-lf-or-cr)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "comment"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "ws")))))
         . lex-group-comment/ws)
        ((((: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-group-letter/digit/_)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil ".")))
           (:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "identifier")))))
         . lex-group-dot-identifier)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "digit")))
           (:repetition (:repeat 0 (:infinity))
                        (:char-val (:insensitive nil "_")))))
         . lex-group-digit-*-underbar)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "0"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "2"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "3"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "4"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "5"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "6"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "7"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "8"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "9"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "a"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "c"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "d"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "e"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "f"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "g"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "h"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "j"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "k"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "l"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "m"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "n"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "p"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "q"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "r"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "s"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "t"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "u"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "v"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "w"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "x"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "y"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "z")))))
         . lex-group-address-char)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "address-char")))
           (:repetition (:repeat 0 (:infinity))
                        (:char-val (:insensitive nil "_")))))
         . lex-group-address-char-*-underbar)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "dq"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "\\"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "/"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "n"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "r"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "t"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "b"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "f"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "u")))
           (:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "{")))
           (:repetition (:repeat 1 (:finite 6))
                        (:rulename (:rulename "hex-digit")))
           (:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "}")))))
         . lex-group-escaped-char-body)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive ".constant"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive ".public"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive ".private")))))
         . lex-group-entry-type-visibility)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "address.public"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "address.private")))))
         . lex-group-address-public/private)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "u64.public"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:sensitive "u64.private")))))
         . lex-group-u64-public/private)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "256"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "512"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "768"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "1024")))))
         . lex-group-bhp-sizes)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "64"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "128")))))
         . lex-group-ped-sizes)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "2"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "4"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:char-val (:insensitive nil "8")))))
         . lex-group-psd-sizes)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "operand")))
           (:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "ws")))))
         . lex-group-1-operand)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "ws")))
           (:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "operand")))))
         . lex-group-1-ws-operand)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "locator"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "identifier")))))
         . lex-group-locator/identifier)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "ws")))
           (:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "register")))))
         . lex-group-1-ws-register)
        ((((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "unary"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "binary"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "ternary"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "is"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "assert"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "commit"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "hash"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "cast"))))
          ((:repetition (:repeat 1 (:finite 1))
                        (:rulename (:rulename "call")))))
         . lex-group-instruction-body)
        ((((: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-group-program-declaration)))