def len
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/poly.bend as Polyimport Base
22def len(+bs: List<&2, List<&2, U32>>) -> Nat:
23 List.length(&2, List<&2, U32>, bs)
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/poly.bend as Polyimport Base
22def len(+bs: List<&2, List<&2, U32>>) -> Nat:
23 List.length(&2, List<&2, U32>, bs)