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
Command-error
Command-error-p
Command-error-fix
Command-error-case
Command-error-kind
Command-error-equiv
Command-error-wrong-number-of-arguments
Command-error-address-key-index-too-large
Command-error-wrong-command
Command-error-malformed-value
Command-error-malformed-to
Command-error-malformed-passphrase
Command-error-malformed-nonce
Command-error-malformed-mnemonic
Command-error-malformed-gas-price
Command-error-malformed-gas-limit
Command-error-malformed-entropy
Command-error-malformed-data
Command-error-malformed-address-key-index
Command-error-address-key-index-skipped
Command-error-address-key-index-skipped->address-key-index
Make-command-error-address-key-index-skipped
Change-command-error-address-key-index-skipped
Command-error-address-key-derivation-fail
Command-error-transaction-sign-fail
Command-error-transaction-rlp-fail
Command-error-state-file-untestable
Command-error-state-file-present
Command-error-state-file-not-regular
Command-error-state-file-malformed
Command-error-state-file-absent
Command-error-root-key-derivation-fail
Command-error-purpose-key-derivation-fail
Command-error-pretransaction-rlp-fail
Command-error-no-command
Command-error-external-chain-key-derivation-fail
Command-error-coin-type-key-derivation-fail
Command-error-address-key-index-limit
Command-error-account-key-derivation-fail
Sign
Init-from-mnemonic
Command-error-message
Stat
Next-key
Init-from-entropy
Process-command
Transaction-message
Maybe-command-error
Maybe-stat
Check-stat-file-present
Valid-key-path-p
String-to-byte-list
Load-stat
Mnemonic-message
Process-sign
Process-init-from-entropy
All-valid-key-paths-p
String-to-word
String-to-nat
Process-next-key
Wallet
Process-init-from-mnemonic
Check-stat-file-absent
Stat-wfp
Save-stat
Stat-addresses-bounded-p
Stat-all-valid-key-paths-p
Stat-priv-keys-p
Stat-root-depth-zero-p
Stat-path-prefix-in-tree-p
Crypto-hdwallet-executable
*stat-filepath*
*key-path-prefix*
*coin-type-index*
*purpose-index*
*external-chain-index*
*command-name-init-from-mnemonic*
*command-name-init-from-entropy*
*account-index*
*command-name-sign*
*command-name-next-key*
Apt
Error-checking
Abnf
Fty-extensions
Isar
Kestrel-utilities
Soft
Bv
Imp-language
Event-macros
C
Java
Bitcoin
Ethereum
Yul
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
Command-error
Command-error-address-key-index-skipped
This is a product type, introduced by
fty::deftagsum
in support of
command-error
.
Fields
address-key-index —
natp
Subtopics
Command-error-address-key-index-skipped->address-key-index
Get the
address-key-index
field from a
command-error-address-key-index-skipped
.
Make-command-error-address-key-index-skipped
Basic constructor macro for
command-error-address-key-index-skipped
structures.
Change-command-error-address-key-index-skipped
Modifying constructor for
command-error-address-key-index-skipped
structures.