Function cut::include_session

pub fn include_session<C1, C2, N, A, B>(
    session: PartialSession<(), A>, 
    cont: impl FnOnce(N) -> PartialSession<C2, B>
) -> PartialSession<C1, B> where
    A: Protocol,
    B: Protocol,
    C1: Context<Length = N> + AppendContext<(A, ()), Appended = C2>,
    C2: Context,