Streebog.hs.stb.x8: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 107-111 of bend-osdev-hashes@0.1.0.0/streebog.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&start_line=107&end_line=111

import Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

# the XOR of eight 64-bit values
def hs.stb.x8(e0: Hs.HsW2, e1: Hs.HsW2, e2: Hs.HsW2, e3: Hs.HsW2, e4: Hs.HsW2, e5: Hs.HsW2, e6: Hs.HsW2, e7: Hs.HsW2) -> Hs.HsW2:
  match e0 e1 e2 e3 e4 e5 e6 e7:
    case Hs.HsW2{a0, b0} Hs.HsW2{a1, b1} Hs.HsW2{a2, b2} Hs.HsW2{a3, b3} Hs.HsW2{a4, b4} Hs.HsW2{a5, b5} Hs.HsW2{a6, b6} Hs.HsW2{a7, b7}:
      Hs.HsW2{U32.xor(U32.xor(U32.xor(a0, a1), U32.xor(a2, a3)), U32.xor(U32.xor(a4, a5), U32.xor(a6, a7))), U32.xor(U32.xor(U32.xor(b0, b1), U32.xor(b2, b3)), U32.xor(U32.xor(b4, b5), U32.xor(b6, b7)))}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW2