Graphmath.Vec3.rotate

You're seeing just the function rotate, go back to Graphmath.Vec3 module for more information.
Link to this function

rotate(v, k, theta)

Specs

rotate(vec3(), vec3(), float()) :: vec3()

rotate( v, k, theta) rotates a vector (v) about a unit vector (k) by theta radians.

v is the vec3 to be rotated.

k is the vec3 axis of rotation. It must be of unit length.

theta is the angle in radians to rotate as a float.

This uses the Formula of Rodriguez:

V<sub>rot</sub> = Vcos(theta) + (K x V)sin(theta) + K(K dot V)(1-cos(theta))