Function ferrite_session::internal::public::session::unfix_session_for [−][src]
pub fn unfix_session_for<N, C, A, B, R, F>(
_: N,
cont: PartialSession<N::Target, B>
) -> PartialSession<C, B> where
B: Protocol,
C: Context,
F: Protocol,
R: Context,
F: RecApp<(Rec<R, F>, R), Applied = A>,
A: Protocol,
N: ContextLens<C, Rec<R, F>, A>,