Function ferrite_session::unfix_session_for

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