Module P2p_poldercast.Make

Parameters

• Node_id : P2p.S.NODE_ID
• Group_id : P2p.S.GROUP_ID
• Node : P2p.S.NODE with type nid := Node_id.t
• Group : P2p.S.GROUP with type gid := Group_id.t
• View : P2p.S.VIEW with type nid := Node_id.t and type node := Node.t
• Msg_id : P2p.S.MSG_ID
• Pub : P2p.S.GOSSIP_DISSEM with type nid := Node_id.t and type node := Node.t and type view := View.t and type mid := Msg_id.t

Signature

type nid

type node

type view

type mid

type gid

type group