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
Fty-extensions
Isar
Kestrel-utilities
Soft
Bv
Imp-language
C
Syntax-for-tools
Atc
Language
Abstract-syntax
Integer-ranges
Dynamic-semantics
Static-semantics
Check-stmt
Check-cond
Check-binary-pure
Var-table-add-var
Check-unary
Check-obj-declon
Fun-table-add-fun
Fun-sinfo
Check-fundef
Check-expr-asg
Check-expr-call
Check-arrsub
Uaconvert-types
Apconvert-type-list
Check-initer
Adjust-type-list
Types+vartab
Promote-type
Check-tag-declon
Check-expr-call-or-asg
Check-param-declon
Check-ext-declon
Check-member
Check-expr-pure
Check-obj-adeclor
Check-memberp
Check-expr-call-or-pure
Check-cast
Init-type-matchp
Check-struct-declon-list
Check-fun-declor
Expr-type
Check-ext-declon-list
Check-transunit
Check-fun-declon
Var-defstatus
Struct-member-lookup
Preprocess
Wellformed
Check-tyspecseq
Check-param-declon-list
Check-iconst
Check-expr-pure-list
Var-sinfo-option
Fun-sinfo-option
Var-scope-all-definedp
Funtab+vartab+tagenv
Var-sinfo
Var-table-lookup
Apconvert-type
Var-table
Check-tyname
Types+vartab-result
Funtab+vartab+tagenv-result
Fun-table-lookup
Wellformed-result
Var-table-add-block
Var-table-scope
Var-table-result
Fun-table-result
Fun-table-result-fix
Fun-table-result-equiv
Fun-table-result-ok
Fun-table-result-err
Fun-table-result-err->get
Make-fun-table-result-err
Change-fun-table-result-err
Fun-table-resultp
Fun-table-result-kind
Expr-type-result
Adjust-type
Check-fileset
Var-table-all-definedp
Check-const
Fun-table-all-definedp
Check-ident
Fun-table
Var-table-init
Fun-table-init
Grammar
Integer-formats
Types
Portable-ascii-identifiers
Values
Integer-operations
Computation-states
Object-designators
Implementation-environments
Operations
Errors
Tag-environments
Function-environments
Character-sets
Flexible-array-member-removal
Arithmetic-operations
Pointer-operations
Bytes
Keywords
Real-operations
Array-operations
Scalar-operations
Structure-operations
Representation
Transformation-tools
Pack
Event-macros
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
Fun-table-result
Fun-table-result-err
This is a product type, introduced by
fty::defflexsum
in support of
fun-table-result
.
Fields
get —
fty::reserr
Subtopics
Fun-table-result-err->get
Get the
get
field from a
fun-table-result-err
.
Make-fun-table-result-err
Basic constructor macro for
fun-table-result-err
structures.
Change-fun-table-result-err
Modifying constructor for
fun-table-result-err
structures.