Function ferrite_session::prelude::succ_session [−][src]
pub fn succ_session<I, P>(cont: PartialSession<I, P>) -> PartialSession<I, S<P>> where
P: Protocol,
I: Context,
pub fn succ_session<I, P>(cont: PartialSession<I, P>) -> PartialSession<I, S<P>> where
P: Protocol,
I: Context,