/// <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;
}