|
|
|---|
|
|
|
|---|
Basic constructor macro for transaction-unbond structures.
(make-transaction-unbond [:validator <validator>])
This is the usual way to construct transaction-unbond structures. It simply conses together a structure with the specified fields.
This macro generates a new transaction-unbond structure from scratch. See also change-transaction-unbond, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-transaction-unbond (&rest args) (std::make-aggregate 'transaction-unbond args '((:validator)) 'make-transaction-unbond nil))
Function:
(defun transaction-unbond (validator) (declare (xargs :guard (addressp validator))) (declare (xargs :guard t)) (let ((__function__ 'transaction-unbond)) (declare (ignorable __function__)) (b* ((validator (mbe :logic (address-fix validator) :exec validator))) (cons :unbond (list validator)))))