Type Definition mpstthree::functionmpst::OfferMpst

pub type OfferMpst<S0, S1, S2, S3, R0, R1, N0> = Recv<Either<MeshedChannels<S0, S1, R0, N0>, MeshedChannels<S2, S3, R1, N0>>, End>;

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.