		Search-engine friendly clone of the ACL2 documentation.

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))