Function ferrite_session::internal::session::public::cut_append

source · [−]

pub fn cut_append<C1, C2, C3, C4, A, B>(
    cont1: PartialSession<C3, B>, 
    cont2: PartialSession<C2, A>
) -> PartialSession<C4, B> where
    A: Protocol,
    B: Protocol,
    C1: Context,
    C2: Context,
    C3: Context,
    C4: Context,
    C1: AppendContext<(A, ()), Appended = C3>,
    C1: AppendContext<C2, Appended = C4>,