Function ferrite_session::internal::public::prelude::fix_session

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