def len.fast
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
265def len.fast(xs: List<&2, U32>) -> Nat:
266 len.go(xs, 0n)
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
265def len.fast(xs: List<&2, U32>) -> Nat:
266 len.go(xs, 0n)