Skip to content

Rotate everything

Michael Sammler requested to merge msammler/rotate into master

This MR adds rotate_nat_add, rotate_nat_sub, rotate and rotate_take functions, which allow dealing with wraparound of lists. I don't know where these functions should go so I created a new file for them. But I can also move them somewhere else.

Merge request reports