		Search-engine friendly clone of the ACL2 documentation.

Transactionp

Make-transaction

Constructor macro for transactionp structures.

Syntax:

(make-transaction [: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 our preferred way to construct transactionp structures. It simply conses together a structure with the specified fields.

This macro generates a new transactionp structure from scratch. See also change-transaction, which can "change" an existing structure, instead.

The transactionp structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-transaction instead.

Definition

This is an ordinary make- macro introduced by std::defaggregate.

Macro: make-transaction

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