PaxosKV.Learner.State (paxos_kv v0.4.0)