Function ferrite_session::session::fix_session [−][src]
pub fn fix_session<R, F, A, C>(
cont: PartialSession<C, A>
) -> PartialSession<C, Rec<R, F>> where
C: Context,
R: Context,
F: Protocol,
A: Protocol,
F: RecApp<(Rec<R, F>, R), Applied = A>,