		Search-engine friendly clone of the ACL2 documentation.

Bip32-ext-key-pub

Change-bip32-ext-key-pub

Modifying constructor for bip32-ext-key-pub structures.

Syntax

(change-bip32-ext-key-pub x 
                          [:get <get>])

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

We construct a new bip32-ext-key-pub 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-ext-key-pub

(defmacro change-bip32-ext-key-pub (x &rest args)
  (std::change-aggregate 'bip32-ext-key-pub
                         x
                         args '((:get . bip32-ext-key-pub->get))
                         'change-bip32-ext-key-pub
                         'nil))