Swpick.rotated2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swpick.bend as Swpick
Lines 78-79 of cswap-bend-cli@0.1.0.0/swpick.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/swpick.bend&start_line=78&end_line=79

import Base

def rotated2(+xs: List<&2, String>, +idx: Nat) -> List<&2, String>:
  List.append(&2, String, List.drop(&2, String, xs, 1n+idx), List.take(&2, String, xs, idx))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.take
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String