Sequential Refinement, cont.
Let X1,�,Xn be an ordered sequence of variables.
Let k be an integer between 1 and n.
/* Rotate the values in X1,�,Xn left k places, where values shifted off the left end reenter at the right. */
E.g., suppose k = 3 and n = 7
Before:
x1 x2 x3 x4 x5 x6 x7
After:
x1 x2 x3 x4 x5 x6 x7