Function ferrite_session::prelude::detach_shared_session

source · [−]

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