def rotated2

cswap-bend-cli@0.1.0.0 · swpick.bend:78

import cswap-bend-cli@0.1.0.0/swpick.bend as Swpick
import Base

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

Uses (6)

Used by (1)