		Search-engine friendly clone of the ACL2 documentation.

Block-headerp

Change-block-header

A copying macro that lets you create new block-headerp structures, based on existing structures.

Syntax:

(change-block-header x 
                     [:parent-hash <parent-hash>] 
                     [:ommers-hash <ommers-hash>] 
                     [:beneficiary <beneficiary>] 
                     [:state-root <state-root>] 
                     [:transactions-root <transactions-root>] 
                     [:receipts-root <receipts-root>] 
                     [:logs-bloom <logs-bloom>] 
                     [:difficulty <difficulty>] 
                     [:number <number>] 
                     [:gas-limit <gas-limit>] 
                     [:gas-used <gas-used>] 
                     [:timestamp <timestamp>] 
                     [:extra-data <extra-data>] 
                     [:mix-hash <mix-hash>] 
                     [:nonce <nonce>])

This is a sometimes useful alternative to make-block-header. It constructs a new block-headerp 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-block-header

(defmacro change-block-header (x &rest args)
  (std::change-aggregate
       'block-header
       x args
       '((:parent-hash . block-header->parent-hash)
         (:ommers-hash . block-header->ommers-hash)
         (:beneficiary . block-header->beneficiary)
         (:state-root . block-header->state-root)
         (:transactions-root . block-header->transactions-root)
         (:receipts-root . block-header->receipts-root)
         (:logs-bloom . block-header->logs-bloom)
         (:difficulty . block-header->difficulty)
         (:number . block-header->number)
         (:gas-limit . block-header->gas-limit)
         (:gas-used . block-header->gas-used)
         (:timestamp . block-header->timestamp)
         (:extra-data . block-header->extra-data)
         (:mix-hash . block-header->mix-hash)
         (:nonce . block-header->nonce))
       'change-block-header
       'nil))