Module `P2p_tac_lwt`

TAC with Lwt

High-level library implementing the TAC protocol using Lwt.

module Message : sig ... end

module Make : functor (Node_id : P2p.S.NODE_ID) -> functor (Node : P2p.S.NODE with type nid := Node_id.t) -> functor (View : P2p.S.VIEW with type nid := Node_id.t and type node := Node.t) -> functor (Tac : P2p.S.GOSSIP with type node := Node.t and type view := View.t) -> functor (Io : S.TAC_IO with type nid := Node_id.t and type node := Node.t and type view := View.t) -> S.TAC with type nid := Node_id.t and type node := Node.t and type view := View.t and type io := Io.t: Functor building an implementation of TAC with Lwt given a Node_id, Node, gossip View, Tac implementation, and an Io event handler module.