Availability:
:- use_module(library(paxos)).
- current
- Enumerate our ledger content.
- get
- Get a single value from our ledger.
- create
- Create a new key in our ledger.
- accept
- Accept a new newly proposed value for a key. Failure causes the library to send a NACK message.
- set
- Final acceptance of Ken@Gen, providing the holders that accepted the new value.
- learn
- Accept new keys in a new node or node that has been offline for some time.