C++'s std::rotate

[Peter Alexander via Digitalmars-d]

On Monday, 11 August 2014 at 13:55:07 UTC, Ary Borenszweig wrote:
> On 8/11/14, 12:29 AM, Andrei Alexandrescu wrote:
>> Hello,
>
> In which algorithms would one use std::rotate?

Pushing N items to the front of a vector is implemented as 
pushing N to the back then rotating them to the front.