unifies Term with the entry retrieved from the Paxon's
ledger. If no such entry exists in the member's local cache, then the
quorum is asked to provide a value, which is verified for consistency.
An implied tipc_paxos_set/1
follows. This predicate succeeds if a term with the same functor and
arity exists in the Paxon's ledger, and fails otherwise.
is a compound. Any unbound variables
are unified with those provided in the ledger entry.