Module mpstthree::functionmpst [−][src]
Expand description
This module contains all the functions that are used
for consuming MeshedChannels
.
They are required to check the protocols, as they check
the concordance between the different fields of
MeshedChannels
.
Modules
This module contains all the choose functions for three participants A, B and C
This module contains the close function
This module contains the functions for forking the different endpoints.
This module contains all the offer functions
This module contains all the macros that are used for recursion
This module contains all the receive functions
This module contains all the send functions
Type Definitions
Choose between two sessions S1
and S2
. Those
sessions should be MeshedChannels
, as requested by functions
such as choose_right_mpst_session_c_to_all
.
Implemented using Send
and Either
.
Offer a choice between two sessions S1
and S1
. Those
sessions should be MeshedChannels
,
as requested by functions such as
offer_mpst_session_to_b_from_a
.
Implemented using Recv
and
Either
.