Did you know ... Search Documentation:
Predicate tipc_paxos_set/1
 tipc_paxos_set(?Term) is semidet[private]
 tipc_paxos_get(?Term) is semidet[private]
 tipc_paxos_get(?Term, +Options) is semidet[private]
 tipc_paxos_set(?Term, +Options) is semidet[private]
 tipc_paxos_on_change(?Term, :Goal) is det[private]