Blake3.diagonals: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as Blake3
Lines 102-106 of bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend&start_line=102&end_line=106

import Base

def diagonals(+v: List<&2,U32>, +m: List<&2,U32>) -> List<&2,U32>:
  +v1 = g(v,0n,5n,10n,15n,at(m,8n),at(m,9n))
  +v2 = g(v1,1n,6n,11n,12n,at(m,10n),at(m,11n))
  +v3 = g(v2,2n,7n,8n,13n,at(m,12n),at(m,13n))
  g(v3,3n,4n,9n,14n,at(m,14n),at(m,15n))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend&name=at
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend&name=g