takeoverFunction
PaxosAlgorithm
timedOutResponse
ResendHandler
timeout
AcceptResponsesAndTimeout
PaxosData
timeoutLens
PaxosLenses
timeoutPrepareResponsesLens
PaxosLenses
to
RetransmitRequest
RetransmitResponse
toString
BallotNumber
Commit
Identifier
NoLongerLeaderException
Progress
trex_paxos
github