Function ferrite_session::receive_channel_from_slot

pub fn receive_channel_from_slot<I, P1, P2, Q, TargetLens, SourceLens>(
    _: SourceLens, 
    _: TargetLens, 
    cont: PartialSession<TargetLens::Target, Q>
) -> PartialSession<I, Q> where
    P1: Protocol,
    P2: Protocol,
    Q: Protocol,
    I: Context,
    SourceLens: ContextLens<I, SendChannel<P1, P2>, P2>,
    TargetLens: ContextLens<SourceLens::Target, Empty, P1>,