		Search-engine friendly clone of the ACL2 documentation.

Blocks

Block

Fixtype of blocks.

This is a product type introduced by fty::defprod.

Fields

transactions — transaction-list
round — posp

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, but we do not capture that constraint here.

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.