Type Definition sesh::Offer[−][src]

type Offer<S1, S2> = Recv<Either<S1, S2>, End>;

Offer a choice between two sessions S1 and S1. Implemented using Recv and Either.