Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Debugging
Projects
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
Atc
Syntax-for-tools
Disambiguator
Abstract-syntax
Expr
Exprs/decls/stmts
Type-spec
Binop
Stmt
Unambiguity
Exprs/decls/stmts-unambp
Transunit-ensemble-unambp
Expr/tyname-unambp
Declor/absdeclor-unambp
Decl/stmt-unambp
Fundef-unambp
Extdecl-unambp
Transunit-unambp
Type-spec-list-unambp
Extdecl-list-unambp
Type-spec-list-unambp-of-sublists
Expr-unambp-of-operation-on-expr-unambp
Dirabsdeclor-unambp
Dirabsdeclor-option-unambp
Desiniter-list-unambp
Strunispec-unambp
Structdeclor-unambp
Structdeclor-list-unambp
Structdecl-unambp
Structdecl-list-unambp
Statassert-unambp
Spec/qual-unambp
Spec/qual-list-unambp
Paramdeclor-unambp
Paramdecl-unambp
Paramdecl-list-unambp
Member-designor-unambp
Initer-option-unambp
Initdeclor-unambp
Initdeclor-list-unambp
Genassoc-list-unambp
Expr-option-unambp
Enumspec-unambp
Enumer-list-unambp
Dirdeclor-unambp
Desiniter-unambp
Designor-list-unambp
Declspec-unambp
Declspec-list-unambp
Declor-option-unambp
Const-expr-option-unambp
Block-item-list-unambp
Align-spec-unambp
Absdeclor-unambp
Absdeclor-option-unambp
Type-spec-unambp
Tyname-unambp
Stmt-unambp
Label-unambp
Initer-unambp
Genassoc-unambp
Expr-unambp
Expr-list-unambp
Enumer-unambp
Designor-unambp
Declor-unambp
Decl-unambp
Decl-list-unambp
Const-expr-unambp
Block-item-unambp
Abstract-syntax-operations
Amb-expr/tyname
Dirdeclor
Unop
Dec/oct/hex-const
Simple-escape
Attrib
Amb-decl/stmt
Dirabsdeclor
Ident
Asm-name-spec
Amb-declor/absdeclor
Transunit-ensemble
Paramdeclor
Type-qual
Structdecl
Fundef
Declspec
Declor
Decl
Absdeclor
Stor-spec
Keyword-uscores
Attrib-name
Align-spec
Lsuffix
Label
Spec/qual
Hex-frac-const
Expr-option
Dec-frac-const
Dec-core-fconst
Strunispec
Dirabsdeclor-option
Desiniter
Amb?-declor/absdeclor
Tyname
Isuffix
Hex-core-fconst
Escape
Const-expr-option
Attrib-spec
Amb?-expr/tyname
Structdeclor
Bin-expo
Statassert
Fsuffix
Enumspec
Absdeclor-option
Paramdecl
Member-designor
Initer-option
Initer
Ident-option
Declor-option
Const
Block-item
Oct-escape
Inc/dec-op
Iconst
Hex-quad
Fun-spec
Extdecl
Eprefix
Dec-expo
Cprefix-option
Const-expr
Asm-name-spec-option
Amb?-decl/stmt
S-char
Isuffix-option
Fsuffix-option
Fconst
Eprefix-option
Dec-expo-option
Cprefix
C-char
Sign-option
Iconst-option
Genassoc
Fundef-option
Asm-output
Asm-input
Initdeclor
Const-option
Usuffix
Univ-char-name
Designor
Sign
Hprefix
Asm-qual
Enumer
Dec-expo-prefix
Bin-expo-prefix
Stringlit
Cconst
Transunit
Expr/tyname
Decl/stmt
Declor/absdeclor
Asm-clobber
Abstraction-mapping
Type-qual-list
Stringlit-list
Spec/qual-list
Inc/dec-op-list
Declspec-list
S-char-list
Decl-list
C-char-list
Structdeclor-list
Structdecl-list
Paramdecl-list
Initdeclor-list
Genassoc-list
Extdecl-list
Desiniter-list
File-paths
Enumer-list
Block-item-list
Type-qual-list-list
Ident-list
Filepath-transunit-map
Expr-list
Attrib-spec-list
Asm-qual-list
Asm-output-list
Asm-input-list
Asm-clobber-list
Type-spec-list
Stor-spec-list
Ident-set
Ident-option-set
Designor-list
Attrib-list
Parser
Printer
Formalized-subset
Mapping-to-language-definition
Output-files
Input-files
Validator
Implementation-environments
Concrete-syntax
Preprocessing
Language
Representation
Transformation-tools
Pack
Java
Bitcoin
Ethereum
Yul
Zcash
ACL2-programming-language
Prime-fields
Json
Syntheto
File-io-light
Number-theory
Cryptography
Lists-light
Builtins
Axe
Solidity
Helpers
Htclient
Typed-lists-light
Arithmetic-light
X86isa
Axe
Execloader
Math
Testing-utilities
Unambiguity
Exprs/decls/stmts-unambp
Initdeclor-unambp
Check if an initializer declarator is unambiguous.
Signature
(initdeclor-unambp initdeclor) → yes/no
Arguments
initdeclor
—
Guard
(
initdeclorp
initdeclor)
.
Returns
yes/no
—
Type
(
booleanp
yes/no)
.