Struct session_types::Recv [] [src]

pub struct Recv<A, P>(_);

Receive A, then P

Trait Implementations

impl<A, P: HasDual> HasDual for Recv<A, P>
[src]

type Dual = Send<A, P::Dual>