LAWS.aes256gcm_nist_aad_only: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/LAWS.bend as LAWS
Lines 548-550 of qasim-bend-kit@0.1.0.2/LAWS.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/LAWS.bend&start_line=548&end_line=550

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

def aes256gcm_nist_aad_only() -> AES.Envelope:
    AES.Envelope{aes256gcm_nist_nonce(), [],
        AES.Tag{[222, 52, 182, 220, 212, 206, 226, 253, 190, 195, 206, 160, 26, 241, 238, 68], {==}, {==}}, {==}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/LAWS.bend&name=aes256gcm_nist_nonce
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Envelope
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Tag