def encrypt_invalid_aad

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

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

643def encrypt_invalid_aad(key: AES.SecretKey, nonce: AES.Nonce,
644    +aad: List<&2, U32>, +plaintext: List<&2, U32>, plaintext_ok: Bool) ->
645    {AES.encrypt_checked(key, nonce, aad, plaintext, False{}, plaintext_ok) ==
646      Fail{AES.InvalidBytes{}} : Result<&2, &2, AES.Error, AES.Envelope>}:
647    match plaintext_ok:
648        case True{}: {==}
649        case False{}: {==}