def take.fast

bend-osdev-bytes@0.1.1.0 · bytes.bend:279

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes
import Base

279def take.fast(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
280  rev(take.go(n, xs, Nil{}))

Uses (5)

Used by (7)