def rot

minebender-game@1.0.0.0 · solver.bend:451

import Base

451# ts from its k-th element on, then the first k.
452def rot(+ts: List<&2, Todo>, +k: Nat) -> List<&2, Todo>:
453  List.append(&2, Todo, List.drop(&2, Todo, ts, k), List.take(&2, Todo, ts, k))