def skip

bend-collections-laws-crypto@1.0.0.0 · src/crypto/poly1305/limbs.bend:50

import Base

50def skip(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
51  match n xs:
52    case 0n _: xs
53    case 1n+k Nil{}: Nil{}
54    case 1n+k x <> rest: skip(k, rest)