Logic for a single round of GRANDPA.
Stores data for a round.
Parameters for starting a round.
State of the round.
The (voting) phases of a round, each corresponding to the type of votes cast in that phase.