Type Definition sesh::Choose

type Choose<S1, S2> = Send<Either<<S1 as Session>::Dual, <S2 as Session>::Dual>, End>;

Choose between two sessions S1 and S2. Implemented using Send and Either.