Events of the AleoBFT labeled state transition system.
We introduce a fixtype for the events of the state transition system that models AleoBFT. In the framework of labeled state transition systems, these events are the labels.
