def len
import bend-collections-laws-crypto@1.0.0.0/src/crypto/password.bend as Passwordimport Base
33def len(xs: List<&2, U32>) -> Nat:
34 List.length(&2, U32, xs)
import bend-collections-laws-crypto@1.0.0.0/src/crypto/password.bend as Passwordimport Base
33def len(xs: List<&2, U32>) -> Nat:
34 List.length(&2, U32, xs)