Function ferrite_session::receive_channel_from

pub fn receive_channel_from<C1, C2, A1, A2, B, N>(
    _: N, 
    cont_builder: impl FnOnce(C2::Length) -> PartialSession<C2::Appended, B>
) -> PartialSession<C1, B> where
    A1: Protocol,
    A2: Protocol,
    B: Protocol,
    C1: Context,
    C2: AppendContext<(A1, ())>,
    N: ContextLens<C1, SendChannel<A1, A2>, A2, Target = C2>,