Skip to main content

shared_forward

ferrite_session::internal::session

Function shared_forward

pub fn shared_forward<A1, A2, C>(
    channel: SharedChannel<LinearToShared<A1>>,
) -> PartialSession<(Lock<A1>, C), SharedToLinear<LinearToShared<A1>>>where
    A1: Protocol + SharedRecApp<SharedToLinear<LinearToShared<A1>>, Applied = A2>,
    A2: Protocol,
    C: EmptyContext,