		Search-engine friendly clone of the ACL2 documentation.

Transactionp

Change-transaction

A copying macro that lets you create new transactionp structures, based on existing structures.

Syntax:

(change-transaction x 
                    [:nonce <nonce>] 
                    [:gas-price <gas-price>] 
                    [:gas-limit <gas-limit>] 
                    [:to <to>] 
                    [:value <value>] 
                    [:sig-v <sig-v>] 
                    [:sig-r <sig-r>] 
                    [:sig-s <sig-s>] 
                    [:init-or-data <init-or-data>])

This is a sometimes useful alternative to make-transaction. It constructs a new transactionp 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 std::defaggregate.

Macro: change-transaction

(defmacro change-transaction (x &rest args)
  (std::change-aggregate
       'transaction
       x args
       '((:nonce . transaction->nonce)
         (:gas-price . transaction->gas-price)
         (:gas-limit . transaction->gas-limit)
         (:to . transaction->to)
         (:value . transaction->value)
         (:sig-v . transaction->sig-v)
         (:sig-r . transaction->sig-r)
         (:sig-s . transaction->sig-s)
         (:init-or-data . transaction->init-or-data))
       'change-transaction
       'nil))