LAWS.aes256gcm_nist_empty: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/LAWS.bend as LAWS
Lines 506-508 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=506&end_line=508

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

def aes256gcm_nist_empty() -> AES.Envelope:
    AES.Envelope{aes256gcm_nist_nonce(), [],
        AES.Tag{[253, 44, 170, 22, 165, 131, 46, 118, 170, 19, 44, 20, 83, 238, 218, 126], {==}, {==}}, {==}}

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