def encrypt_output_from_gcm

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:440

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

440def encrypt_output_from_gcm(+nonce: Nonce, output: Core.GcmOutput) ->
441    Result<&2, &2, Error, Envelope>:
442    Done{envelope_from_gcm_checked(nonce, output)}