Crypto.aead.seal.words: def of bend-kit-crypto@0.2.2.2
Import: import bend-kit-crypto@0.2.2.2/crypto.bend as Crypto
Lines 98-105 of bend-kit-crypto@0.2.2.2/crypto.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-crypto@0.2.2.2/crypto.bend&start_line=98&end_line=105

import Base

# AEAD: alg is "AES-256-GCM" or "CHACHA20-POLY1305". Key: 32 octets; nonce: 12 octets.
# Seal returns ciphertext followed by a 16-octet tag; open verifies the tag before returning plaintext.
# Never reuse a (key, nonce) pair. Bad lengths, algorithm or authentication fail with EINVAL.
def aead.seal.words(alg: String, klen: U32, key: Array<U32>, nlen: U32, nonce: Array<U32>,
  alen: U32, aad: Array<U32>, dlen: U32, data: Array<U32>) ->
  IO(Result<&1, &1, U32 & String, U32 & Array<U32>>):
  import "./effs/crypto.c"
  import "./effs/crypto.js"

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32