Function ferrite_session::send_channel_to

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>,