Function ferrite_session::release_shared_session

pub fn release_shared_session<F, C, A, N>(
    _: N, 
    cont: PartialSession<N::Target, A>
) -> PartialSession<C, A> where
    A: Protocol,
    C: Context,
    F: Protocol,
    F: SharedRecApp<SharedToLinear<F>>,
    N: ContextLens<C, SharedToLinear<F>, Empty>,