Function ferrite_session::prelude::fix_session

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