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