~/jendhub

def output_is_done

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

import qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof.bend as AESEncryptProof
import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

612def output_is_done(+nonce: AES.Nonce, +output: Core.GcmOutput) ->
613    {Result.is_done(&2, &2, AES.Error, AES.Envelope,
614        AES.encrypt_output_from_gcm(nonce, output)) == True{} : Bool}:
615    {==}

Uses (7)

Used by (1)