def encrypt_impl
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
460def encrypt_impl(key: SecretKey, nonce: Nonce, +aad: List<&2, U32>,
461 +plaintext: List<&2, U32>) -> Result<&2, &2, Error, Envelope>:
462 encrypt_checked(key, nonce, aad, plaintext, aad_valid(aad), plaintext_valid(plaintext))