AppRestoreState returns an event representing the protocol module asking the application for restoring its state from the snapshot.

AppSnapshotRequest returns an event representing the protocol module asking the application for a state snapshot.

AppSnapshotResponse returns an event representing the application making a snapshot of its state.

ClientRequest returns an event representing the reception of a request from a client.

DeliverCert returns an event of delivering a request batch to the application in sequence number order.

EmptyList returns an empty EventList.

EpochConfig represents the configuration of the system during one epoch.

HashRequest returns an event representing a request to the hashing module for computing hashes of data.

HashResult returns an event representing the computation of hashes by the hashing module.

Init returns an event instructing a module to initialize.

ListOf returns EventList containing the given elements.

MessageReceived returns an event representing the reception of a message from another node.

NewClientRequests returns an event representing the reception of new requests from clients.

NodeSigsVerified returns an event representing the result of the verification of multiple nodes' signatures by the crypto module.

SendMessage returns an event of sending the message message to destinations.

SignRequest returns an event representing a request to the crypto module for computing the signature over data.

SignResult returns an event representing the computation of a signature by the crypto module.

Strip returns a new identical (shallow copy of the) event, but with all follow-up events (stored under event.Next) removed.

VerifyNodeSigs returns an event representing a request to the crypto module for verifying a batch of node signatures.

WALAppend returns an event of appending a new entry to the WAL.

WALEntry returns an event of reading an entry from the WAL.

WALTruncate returns and event on removing all entries from the WAL that have been appended with a retentionIndex smaller than the specified one.

EventList represents a list of Events, e.g.

EventListIterator is an object returned from EventList.Iterator used to iterate over the elements (Events) of an EventList using the iterator's Next method.