Type Definition mpstthree::functionmpst::ChooseMpst

type ChooseMpst<S0, S1, S2, S3, R0, R1, N0> = Send<Either<MeshedChannels<<S0 as Session>::Dual, <S1 as Session>::Dual, <R0 as Role>::Dual, <N0 as Role>::Dual>, MeshedChannels<<S2 as Session>::Dual, <S3 as Session>::Dual, <R1 as Role>::Dual, <N0 as Role>::Dual>>, End>;

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.