Add another vector to this vector and return the result as a new vector. @param other the other vector @return a new vector
(Vector other)
source not stored for this graph (policy: none)
no test coverage detected