public DebuggerProxy(VectorOfDouble v)
{
_v = v;
}
/// <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(VectorOfDouble other)
{
VectorOfDoublePushVector(_ptr, other);
}
