Function cut::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 + RecApp<(RecX<R, F>, R), Applied = A>,
    A: Protocol,