[][src]Function ferrite_session::succ_session

pub fn succ_session<I, P>(cont: PartialSession<I, P>) -> PartialSession<I, S<P>> where
    P: Protocol,
    I: Context