Trait session_types::HasDual

pub unsafe trait HasDual {
    type Dual;
}

Associated Types

type Dual

Implementors

• impl HasDual for Eps
• impl<A, P: HasDual> HasDual for Send<A, P>
• impl<A, P: HasDual> HasDual for Recv<A, P>
• impl<P: HasDual, Q: HasDual> HasDual for Choose<P, Q>
• impl<P: HasDual, Q: HasDual> HasDual for Offer<P, Q>
• impl HasDual for Var<Z>
• impl<N> HasDual for Var<S<N>>
• impl<P: HasDual> HasDual for Rec<P>