		Search-engine friendly clone of the ACL2 documentation.

Certificate

Change-certificate

Modifying constructor for certificate structures.

Syntax

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

This is an often useful alternative to make-certificate.

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

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