Core.compress16: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Core
Lines 106-111 of bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend&start_line=106&end_line=111

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

def compress16(+a: T.Lane, +b: T.Lane, +c: T.Lane, +d: T.Lane,
  +e: T.Lane, +f: T.Lane, +g: T.Lane, +h: T.Lane,
  +i: T.Lane, +j: T.Lane, +k: T.Lane, +l: T.Lane,
  +m: T.Lane, +n: T.Lane, +o: T.Lane, +p: T.Lane, +q: Nat, ks: List<&2, T.Lane>, +s: T.State) -> T.State:
  feedforward(s, block_rounds([a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p], q,
    Win{p, o, n, m, l, k, j, i, h, g, f, e, d, c, b, a}, ks, s))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend&name=Sched
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend&name=block_rounds
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend&name=feedforward
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend&name=Lane
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend&name=State