Sha256.sha256: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/sha/packed/sha256.bend as Sha256
Lines 4-8 of bend-collections@1.0.0.0/src/crypto/sha/packed/sha256.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/sha/packed/sha256.bend&start_line=4&end_line=8

import Base
import bend-collections@1.0.0.0/src/crypto/sha/packed/buffer.bend as Buffer

# Sole production hash API. Packed input and output, four bytes per U32,
# big-endian. Consumes input; returns exactly eight words, or None for an
# oversized byte length. No byte-list or digest-list compatibility API.
def sha256(words: Array<U32>, byte_length: Nat) -> Maybe<&1,Array<U32>>:
  Buffer.sha256(words,byte_length)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/sha/packed/buffer.bend&name=sha256