Parameter Make.8-Ringcast_io
val initiate_gossip : t -> node -> view -> view Lwt.t
initiate_gossip t node xchg
sendsxchg
entries tonode
and returns response
val respond_gossip : t -> node -> view -> unit Lwt.t
respond_gossip t node xchg
sendsxchg
entries in response tonode
val gossip_recvd : t -> node -> view -> view -> view Lwt.t
gossip_recvd t src recvd view
is called after entries are received during an exchange; allows rewritingrecvd
entries with the returned value.
val view_updated : t -> node -> view -> unit Lwt.t
view_updated t node view
is called whenview
has been updated after a gossip exchange withnode