session_types
pub struct Choose<P, Q>(_);
Active choice between P and Q
P
Q
impl<P: HasDual, Q: HasDual> HasDual for Choose<P, Q>
type Dual = Offer<P::Dual, Q::Dual>