Function ferrite_session::internal::session::public::unfix_session

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