Module mpstthree::functionmpst

This module contains all the functions that are used for consuming [mpstthree::meshedchannels::MeshedChannels].

They are required to check the protocols, as they check the concordance between the different fields of mpstthree::meshedchannels::Sessionmpst.

Modules

choose

This module contains all the choose functions

close

This module contains the close function

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 [mpstthree::meshedchannels::MeshedChannels], as requested by functions such as mpstthree::choose::choose_right_mpst_session_c_to_all. Implemented using mpstthree::binary::struct_trait::Send and either::Either.

OfferMpst

Offer a choice between two sessions S1 and S1. Those sessions should be [mpstthree::meshedchannels::MeshedChannels], as requested by functions such as mpstthree::functionmpst::offer::offer_mpst_session_to_b_from_a. Implemented using mpstthree::binary::struct_trait::Recv and either::Either.