|
|
|---|
|
|
|
|---|
Raw constructor for substatep structures.
Syntax:
(substate self-destruct-set log-series
touched-accounts refund-balance)This is the lowest-level constructor for substatep structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-substate or change-substate instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
The substatep structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see honsed-substate instead.
This is an ordinary constructor function introduced by std::defaggregate.
Function:
(defun substate (self-destruct-set log-series touched-accounts refund-balance) (declare (xargs :guard (and (all-addressp self-destruct-set) (all-addressp touched-accounts) (weip refund-balance)))) (cons (cons 'self-destruct-set self-destruct-set) (cons (cons 'log-series log-series) (cons (cons 'touched-accounts touched-accounts) (cons (cons 'refund-balance refund-balance) nil)))))