Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Kestrel-books
Crypto-hdwallet
Apt
Error-checking
Abnf
Fty-extensions
Isar
Kestrel-utilities
Soft
Bv
Imp-language
Event-macros
C
Java
Bitcoin
Ethereum
Yul
Transformations
Language
Abstract-syntax
Dynamic-semantics
Concrete-syntax
Lexer
Parser
Parse-keyword
Parse-variable-declaration
Parse-symbol
Parse-literal
Parse-identifier
Parse-assignment-statement
Parse-identifier-and-open-paren
Parse-*-comma-identifier
Parse-*-.-identifier
Parse-continue-statement
Parse-*-comma-path
Parse-path
Parse-leave-statement
Parse-break-statement
Cst2ast-string-literal-content
Cst2ast-escape-sequence
Cst2ast-string-literal-contents
Cst2ast-quoted-printable
Parse-yul
Cst2ast-string-literal
Cst2ast-hex-string
Parse-yul-bytes
Hex-chars-to-hex-pair-list
Cst2ast-hex-number
Cst2ast-uhhhh
Cst2ast-literal-kind
Cst2ast-single-char
Cst2ast-decimal-number
Cst2ast-xhh
Cst2ast-boolean
Parse-*-case-clause
Looks-like-hex-string-fringe
Cst2ast-hex-digit-char-list
Parse-*-statement
Parse-*-comma-expression
Parse-switch-statement
Parse-if-statement
Parse-for-statement
Parse-expression
Parse-case-clause
Parse-fundef
Parse-function-call
Parse-block
*single-quote-tree-list*
*double-quote-tree-list*
*yul-keywords*
*single-quoted-content-rulenames*
*list-leafterm-x*
*list-leafterm-u*
*list-leafterm-92*
*double-quoted-content-rulenames*
*yul-symbols*
Grammar-new
Tokenizer
Grammar-old
Static-soundness
Static-semantics
Errors
Yul-json
Zcash
ACL2-programming-language
Prime-fields
Json
Syntheto
File-io-light
Number-theory
Cryptography
Lists-light
Builtins
Axe
Solidity
Std-extensions
Helpers
Htclient
Typed-lists-light
Arithmetic-light
X86isa
Axe
Execloader
Math
Testing-utilities
Parser
*yul-symbols*
Definition:
*yul-symbols*
(
defconst
*yul-symbols* '("." "," "->" "(" ")" ":=" "{" "}"))