def take

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

import bend-collections@1.0.0.0/src/crypto/poly1305/limbs.bend as Limbs

import Base

44def take(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
45  match n xs:
46    case 0n _: Nil{}
47    case 1n+k Nil{}: Nil{}
48    case 1n+k x <> rest: x <> take(k, rest)

Uses (3)

Used by (5)