Also, what is the return value? And saying "rotate around the pivot `mid`" isn't 100% clear, maybe something like "Rotates the vector `n` places to the right by placing the first `n` elements at the end of the vector, and moving the rest left to fill the gap. Operates in place.".