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

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

def aes256gcm_nist_nonce() -> AES.Nonce:
    AES.Nonce{[202, 254, 186, 190, 250, 206, 219, 173, 222, 202, 248, 136], {==}, {==}}

Uses (2):
  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/libs/AES256GCM.bend&name=Nonce