def Mag.len
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
40def Mag.len(xs: List<&2, U32>) -> Nat:
41 List.length(&2, U32, xs)
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
40def Mag.len(xs: List<&2, U32>) -> Nat:
41 List.length(&2, U32, xs)