Trait Session
sesh
pub trait Session: Sized + Send { type Dual: Session<Dual = Self>; }
Trait for session types. Provides duality.
type Dual: Session<Dual = Self>
The session type dual to Self.
Self
impl Session for End
type Dual = End
impl<T: Send, S: Session> Session for Recv<T, S>
type Dual = Send<T, S::Dual>
impl<T: Send, S: Session> Session for Send<T, S>
type Dual = Recv<T, S::Dual>