~/jendhub

def changed_key_aad

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

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

44def changed_key_aad() -> List<&2, U32>:
45    []

Uses (2)

Used by (4)