Function ferrite_session::internal::public::prelude::release_shared_session[][src]

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