Availability::- use_module(library(tipc/tipc_paxos)).

[semidet]tipc_paxos_set(?Term)

[semidet]tipc_paxos_get(?Term)

[semidet]tipc_paxos_get(?Term, +Options)

[semidet]tipc_paxos_set(?Term, +Options)

[det]tipc_paxos_on_change(?Term, :Goal)