Function ferrite_session::prelude::send_channel_to [−][src]
pub fn send_channel_to<N1, N2, C, A1, A2, B>(
_: N1,
_: N2,
cont: PartialSession<N1::Target, B>
) -> PartialSession<C, B> where
C: Context,
A1: Protocol,
A2: Protocol,
B: Protocol,
N2: ContextLens<C, A1, Empty>,
N1: ContextLens<N2::Target, ReceiveChannel<A1, A2>, A2>,