def zeros
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm.bend as Gcmimport Base
98def zeros(n: Nat) -> List<&2, U32>:
99 List.replicate(U32, n, 0)
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm.bend as Gcmimport Base
98def zeros(n: Nat) -> List<&2, U32>:
99 List.replicate(U32, n, 0)