Function ferrite_session::receive_channel_slot

pub fn receive_channel_slot<I, P, Q, N>(
    _: N, 
    cont: PartialSession<N::Target, Q>
) -> PartialSession<I, ReceiveChannel<P, Q>> where
    P: Protocol,
    Q: Protocol,
    I: Context,
    N: ContextLens<I, Empty, P>,