		Search-engine friendly clone of the ACL2 documentation.

Transactions

Transaction

Fixtype of transactions.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:bond → transaction-bond
:unbond → transaction-unbond
:other → transaction-other

We model three kinds of transactions: bond a validator, unbond a validator, and something else that does not bond or unbond validators; we leave the details of third kind open, via a wrapper of any ACL2 value.

We do not model stake, so the bonding and unbonding transactions only contain an address (of the validator bonded or unbonded).

Subtopics

Transaction-fix: Fixing function for transaction structures.
Transaction-case: Case macro for the different kinds of transaction structures.
Transaction-equiv: Basic equivalence relation for transaction structures.
Transactionp: Recognizer for transaction structures.
Transaction-unbond
Transaction-other
Transaction-bond
Transaction-kind: Get the kind (tag) of a transaction structure.