Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Debugging
Projects
Apt
Acre
Milawa
Smtlink
Abnf
Vwsim
Isar
Wp-gen
Dimacs-reader
Pfcs
Legacy-defrstobj
Proof-checker-array
Soft
Farray
Rp-rewriter
Instant-runoff-voting
Imp-language
Sidekick
Leftist-trees
C
Java
Taspi
Bitcoin
Bip32
Bech32
Bip39
Bip44
Bip44-compliant-addresses-for-limit-p
Bip44-compliant-chains-p
Bip44-compliant-accounts-for-limit-p
Bip44-compliant-addresses-p
Bip44-compliant-coins-for-set-p
Bip44-compliant-tree-p
Bip44-compliant-accounts-p
Bip44-compliant-coins-p
Bip44-compliant-depth-p
Bip44-coin-type-set
Bip44-coin-type-set-fix
Bip44-coin-type-set-equiv
Bip44-coin-type-setp
Bip44-coin-types
*bip44-purpose*
Base58
Bip43
Bytes
Base58check
Cryptography
Bip-350
Bip-173
Des
Ethereum
Sha-2
Yul
Zcash
Proof-checker-itp13
Bigmem
Regex
ACL2-programming-language
Json
X86isa
Jfkr
Equational
Cryptography
Poseidon
Where-do-i-place-my-book
Builtins
Axe
Execloader
Solidity
Paco
Concurrent-programs
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Math
Testing-utilities
Bip44
Bip44-coin-type-set
Osets of coin types.
This is an ordinary
fty::defset
.
Subtopics
Bip44-coin-type-set-fix
(bip44-coin-type-set-fix x)
is a usual
ACL2::fty
set fixing function.
Bip44-coin-type-set-equiv
Basic equivalence relation for
bip44-coin-type-set
structures.
Bip44-coin-type-setp
Recognizer for
bip44-coin-type-set
.