BackdownAgent

library

BallotNumber

library

BallotNumberOrdering

Ordering

Box

library

backdownAgent

BackdownAgent

backdownLens

PaxosLenses

bounds

Journal

bytes

CommandValue NoOperationCommandValue