Module table

Structs

• Table
  A table’s name along with its create statement.

Constants

• ALL
  All tables in a list. Useful for initialisation and testing.
• BLOCK
• BLOCK_SOLUTION
• CONTRACT
• CONTRACT_PREDICATE
• CONTRACT_PROGRESS
• DEC_VAR
• FAILED_BLOCK
• FINALIZED_BLOCK
• MUTATION
• PREDICATE
• PUB_VAR
• SOLUTION
• STATE
• STATE_PROGRESS
• VALIDATION_PROGRESS