/// <summary>
 /// Push multiple values from the other vector into this vector
 /// </summary>
 /// <param name="other">The other vector, from which the values will be pushed to the current vector</param>
 public void Push(VectorOfVectorOfInt other)
 {
     VectorOfVectorOfIntPushVector(_ptr, other);
 }
 public DebuggerProxy(VectorOfVectorOfInt v)
 {
     _v = v;
 }