Function cut::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 + SharedRecApp<SharedToLinear<LinearToShared<F>>>,
    C: EmptyContext,
    <F as SharedRecApp<SharedToLinear<LinearToShared<F>>>>::Applied: Protocol,