Block
Fixtype of blocks.
This is a product type introduced by fty::defprod.
Fields
- transactions — transaction-list
- round — posp
Additional Requirements
The following invariant is enforced on the fields:
(evenp round)
We model a block as consisting of
a list of transactions and a round number.
The round number is always even,
since blocks are only produced at even rounds.
Subtopics
- Block-fix
- Fixing function for block structures.
- Block-equiv
- Basic equivalence relation for block structures.
- Make-block
- Basic constructor macro for block structures.
- Block->transactions
- Get the transactions field from a block.
- Change-block
- Modifying constructor for block structures.
- Block->round
- Get the round field from a block.
- Blockp
- Recognizer for block structures.
