session_types
pub struct Send<A, P>(_);
Send A, then P
A
P
impl<A, P: HasDual> HasDual for Send<A, P>
type Dual = Recv<A, P::Dual>