law aes256gcm_envelope_roundtrip

qasim-bend-kit@0.1.0.2 · LAWS.bend:417

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

417law aes256gcm_envelope_roundtrip:
418    for +envelope: AES.Envelope
419    {AES.parse(AES.encode(envelope)) == Done{envelope} :
420        Result<&2, &2, AES.Error, AES.Envelope>}