Skip to main content

fix_session

ferrite_session::internal::session

Function fix_session 

Source 
pub fn fix_session<R, F, A, C>(
    cont: PartialSession<C, A>,
) -> PartialSession<C, RecX<R, F>>
where
    C: Context,
    R: Context,
    F: Protocol + RecApp<(RecX<R, F>, R), Applied = A>,
    A: Protocol,