		Search-engine friendly clone of the ACL2 documentation.

Proposal

Change-proposal

Modifying constructor for proposal structures.

Syntax

(change-proposal x 
                 [:author <author>] 
                 [:round <round>] 
                 [:transactions <transactions>] 
                 [:previous <previous>])

This is an often useful alternative to make-proposal.

We construct a new proposal 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-proposal

(defmacro change-proposal (x &rest args)
  (std::change-aggregate 'proposal
                         x args
                         '((:author . proposal->author)
                           (:round . proposal->round)
                           (:transactions . proposal->transactions)
                           (:previous . proposal->previous))
                         'change-proposal
                         'nil))