Struct session_types::Send [] [src]

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

Send A, then P

Trait Implementations

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

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