def zero
import qasim-bend-kit@0.1.0.2/proof/AES_NistTagProof.bend as AESNistTagProofimport Base
9def zero() -> List<&2, U32>:
10 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
Uses (2)
Used by (0)
No other definition uses this definition.
import qasim-bend-kit@0.1.0.2/proof/AES_NistTagProof.bend as AESNistTagProofimport Base
9def zero() -> List<&2, U32>:
10 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
No other definition uses this definition.