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