Function ferrite_session::prelude::unfix_session [−][src]
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>,