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