def decrypt_invalid_aad

qasim-bend-kit@0.1.0.2 · PROOF.bend:668

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

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