Module mpstthree::functionmpst

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

choose

This module contains all the choose functions for three participants A, B and C

close

This module contains the close function

fork

This module contains the functions for forking the different endpoints.

offer

This module contains all the offer functions

recursion

This module contains all the macros that are used for recursion

recv

This module contains all the receive functions

send

This module contains all the send functions

Type Definitions

ChooseMpst

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.

OfferMpst

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.