Leader

library

Lens

library

leaderFunction

PaxosAlgorithm

leaderHeartbeat

PaxosData PrepareAck PrepareNack PrepareResponse

leaderLens

PaxosLenses

leaderLikeFunction

PaxosAlgorithm

leaderSelfAckOrNack

ClientCommandHandler

leaderStateFunction

PaxosAlgorithm

library

trex_paxos

load

Journal

logIndex

Identifier RetransmitRequest

logger

PaxosIO