~/jendhub

def changed_aad_aad

qasim-bend-kit@0.1.0.2 · proof/AES_NistTamperVectorProof.bend:19

import qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof.bend as AESNistTamperVectorProof
import Base

19def changed_aad_aad() -> List<&2, U32>:
20    [1]

Uses (2)

Used by (4)