Skip to main content

release_shared_session

ferrite_session::internal::session

Function release_shared_session 

Source 
pub fn release_shared_session<N, C1, C2, A, B>(
    _n: N,
    cont: PartialSession<C2, B>,
) -> PartialSession<C1, B>
where
    A: Protocol + SharedRecApp<SharedToLinear<LinearToShared<A>>>,
    B: Protocol,
    C1: Context,
    C2: Context,
    N: ContextLens<C1, SharedToLinear<LinearToShared<A>>, Empty, Target = C2>,