//! Progress tracks replication state, i.e., it can be considered a map of node id to already
//! replicated log id.
//!
//! The "progress" internally is a vector of scalar values.
//! The scalar value is monotonically incremental. Decreasing it is not allowed.
//! Optimization on calculating the quorum-accepted log id is done on this assumption.
pub
pub
pub
pub
pub
pub
pub
pub
pub
pub use Inflight;
pub use VecProgress;
pub use VecProgressEntry;
pub use VecProgressEntryData;