def decrypt_impl
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
509def decrypt_impl(key: SecretKey, +aad: List<&2, U32>, +envelope: Envelope) -> Result<&2, &2, Error, List<&2, U32>>:
510 decrypt_checked(key, aad, envelope, aad_valid(aad), plaintext_valid(ciphertext(envelope)))