Function ferrite_session::prelude::acquire_shared_session

pub fn acquire_shared_session<N, C1, C2, A1, A2, B>(
    shared: SharedChannel<LinearToShared<A1>>, 
    cont1: impl FnOnce(N) -> PartialSession<C2, B> + Send + 'static
) -> PartialSession<C1, B> where
    N: Nat,
    C1: Context<Length = N>,
    C2: Context,
    A1: Protocol,
    A2: Protocol,
    B: Protocol,
    A1: SharedRecApp<SharedToLinear<A1>, Applied = A2>,
    C1: AppendContext<(A2, ()), Appended = C2>,