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