Function ferrite_session::session::unfix_session

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