def len
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
56def len(xs: List<&2, U32>) -> Nat:
57 List.length(&2, U32, xs)
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
56def len(xs: List<&2, U32>) -> Nat:
57 List.length(&2, U32, xs)