• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Community
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
        • Crypto-hdwallet
        • Apt
        • Error-checking
        • Fty-extensions
        • Isar
        • Kestrel-utilities
        • Set
        • Soft
        • C
        • Bv
        • Imp-language
        • Event-macros
        • Java
        • Bitcoin
          • Bip32
            • Bip32-wallet-structure
            • Bip32-key-trees
              • Bip32-extend-tree
              • Bip32-valid-depths-p
              • Bip32-key-tree
                • Bip32-key-tree-fix
                • Make-bip32-key-tree
                • Bip32-key-treep
                • Bip32-key-tree-equiv
                • Bip32-key-tree->root-parent
                • Bip32-key-tree->index-tree
                • Bip32-key-tree->root-index
                • Change-bip32-key-tree
                  • Bip32-key-tree->root-key
                  • Bip32-key-tree->root-depth
                • Bip32-path-set-closedp
                • Bip32-valid-keys-p
                • Bip32-index-tree
                • Bip32-path-in-tree-p
                • Bip32-ckd*
                • Bip32-get-pub-key-at-path
                • Bip32-get-priv-key-at-path
                • Bip32-ckd-priv*
                • Bip32-ckd-pub*
                • Bip32-path
                • Bip32-key-tree-priv-p
                • Bip32-path-set
              • Bip32-key-serialization
              • Bip32-key-derivation
              • Bip32-executable-attachments
              • Bip32-extended-keys
              • Bip32-master-key-generation
            • Bech32
            • Bip39
            • Bip44
            • Base58
            • Bip43
            • Bytes
            • Base58check
            • Cryptography
            • Bip-350
            • Bip-173
          • Ethereum
          • Yul
          • Zcash
          • ACL2-programming-language
          • Prime-fields
          • Json
          • Syntheto
          • File-io-light
          • Cryptography
          • Number-theory
          • Lists-light
          • Axe
          • Builtins
          • Solidity
          • Helpers
          • Htclient
          • Typed-lists-light
          • Arithmetic-light
        • X86isa
        • Axe
        • Execloader
      • Math
      • Testing-utilities
    • Bip32-key-tree

    Change-bip32-key-tree

    Modifying constructor for bip32-key-tree structures.

    Syntax
    (change-bip32-key-tree x 
                           [:root-key <root-key>] 
                           [:root-depth <root-depth>] 
                           [:root-index <root-index>] 
                           [:root-parent <root-parent>] 
                           [:index-tree <index-tree>]) 
    

    This is an often useful alternative to make-bip32-key-tree.

    We construct a new bip32-key-tree structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

    Definition

    This is an ordinary change- macro introduced by fty::defprod.

    Macro: change-bip32-key-tree

    (defmacro change-bip32-key-tree (x &rest args)
      (std::change-aggregate
           'bip32-key-tree
           x args
           '((:root-key . bip32-key-tree->root-key)
             (:root-depth . bip32-key-tree->root-depth)
             (:root-index . bip32-key-tree->root-index)
             (:root-parent . bip32-key-tree->root-parent)
             (:index-tree . bip32-key-tree->index-tree))
           'change-bip32-key-tree
           'nil))