def take.fast
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
279def take.fast(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
280 rev(take.go(n, xs, Nil{}))
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
279def take.fast(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
280 rev(take.go(n, xs, Nil{}))