Function ferrite_session::fix_session

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