A TinyChain State
State
An addressable state with a discrete value per-transaction.
The Class of a State.
Class
A view of a State within a single Txn, used for serialization.
Txn
Trait defining a State representation of a (possibly non-State) value.