Function ferrite_session::prelude::unfix_session_for

pub fn unfix_session_for<N, C, A, B, R, F>(
    _: N, 
    cont: PartialSession<N::Target, B>
) -> PartialSession<C, B> where
    B: Protocol,
    C: Context,
    F: Protocol,
    R: Context,
    F: RecApp<(Rec<R, F>, R), Applied = A>,
    A: Protocol,
    N: ContextLens<C, Rec<R, F>, A>,