|
|
|---|
|
|
|
|---|
Raw constructor for account-statep structures.
Syntax:
(account-state nonce balance storage-root codehash)
This is the lowest-level constructor for account-statep structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-account-state or change-account-state instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
The account-statep structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see honsed-account-state instead.
This is an ordinary constructor function introduced by std::defaggregate.
Function:
(defun account-state (nonce balance storage-root codehash) (declare (xargs :guard (and (noncep nonce) (n256p balance) (b32p storage-root) (b32p codehash)))) (cons (cons 'nonce nonce) (cons (cons 'balance balance) (cons (cons 'storage-root storage-root) (cons (cons 'codehash codehash) nil)))))