Function ferrite_session::internal::session::detach_shared_session [−][src]
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,