PROOF.decrypt_invalid_aad: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/PROOF.bend as PROOF
Lines 668-675 of qasim-bend-kit@0.1.0.2/PROOF.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/PROOF.bend&start_line=668&end_line=675

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

def decrypt_invalid_aad(key: AES.SecretKey, +aad: List<&2, U32>,
    +envelope: AES.Envelope, ciphertext_ok: Bool) ->
    {AES.decrypt_checked(key, aad, envelope, False{}, ciphertext_ok) ==
      Fail{AES.InvalidBytes{}} :
      Result<&2, &2, AES.Error, List<&2, U32>>}:
    match ciphertext_ok:
        case True{}: {==}
        case False{}: {==}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Envelope
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=SecretKey
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=decrypt_checked