def valid_is_done

qasim-bend-kit@0.1.0.2 · proof/AES_EncryptProof.bend:617

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

617def valid_is_done(key: AES.SecretKey, +nonce: AES.Nonce,
618    aad: List<&2, U32>, plaintext: List<&2, U32>) ->
619    {Result.is_done(&2, &2, AES.Error, AES.Envelope,
620        AES.encrypt_valid(key, nonce, aad, plaintext)) == True{} : Bool}:
621    output_is_done(nonce,
622        AES.encrypt_valid_output(key, nonce, aad, plaintext))