Function ferrite_session::session::detach_shared_session

pub fn detach_shared_session<F, C>(
    cont: SharedSession<LinearToShared<F>>
) -> PartialSession<(Lock<F>, C), SharedToLinear<F>> where
    F: Protocol,
    F: SharedRecApp<SharedToLinear<F>>,
    F::Applied: Protocol,
    C: EmptyContext,