@spiceErrorCheck<EOL>def vrotv(v, axis, theta):
v = stypes.toDoubleVector(v)<EOL>axis = stypes.toDoubleVector(axis)<EOL>theta = ctypes.c_double(theta)<EOL>r = stypes.emptyDoubleVector(<NUM_LIT:3>)<EOL>libspice.vrotv_c(v, axis, theta, r)<EOL>return stypes.cVectorToPython(r)<EOL>
Rotate a vector about a specified axis vector by a
specified angle and return the rotated vector.

http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/vrotv_c.html

:param v: Vector to be rotated. 
:type v: 3-Element Array of floats
:param axis: Axis of the rotation. 
:type axis: 3-Element Array of floats
:param theta: Angle of rotation (radians). 
:type theta: float
:return: Result of rotating v about axis by theta
:rtype: 3-Element Array of floats