Core.hinit: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/chacha/core.bend as Core
Lines 136-138 of bend-collections@1.0.0.0/src/crypto/chacha/core.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/chacha/core.bend&start_line=136&end_line=138

import Base

# The HChaCha20 input state: constants, key, the four words of the 16-byte nonce.
def hinit(k0: U32, k1: U32, k2: U32, k3: U32, k4: U32, k5: U32, k6: U32, k7: U32, n0: U32, n1: U32, n2: U32, n3: U32) -> State:
  S{1634760805, 857760878, 2036477234, 1797285236, k0, k1, k2, k3, k4, k5, k6, k7, n0, n1, n2, n3}

Uses (2):
  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/chacha/core.bend&name=State