func rotated(v: Vec3; α: Radians; axis: Vec3): Vec3 {.inline, ...raises: [],
tags: [], forbids: [].}
Rodrigues' rotation formula v = v*cos(α) + (k×v)sin(α) + k*(k∙v)(1 - cos(α)) where k is the axis of rotation Axis should already be normalized
Source
Edit