Streebog.hs.stb.join: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 113-117 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=113&end_line=117

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

# eight 64-bit chunks as a 512-bit vector, chunk 0 the least significant
def hs.stb.join(o0: Hs.HsW2, o1: Hs.HsW2, o2: Hs.HsW2, o3: Hs.HsW2, o4: Hs.HsW2, o5: Hs.HsW2, o6: Hs.HsW2, o7: Hs.HsW2) -> Hs.HsW16:
  match o0 o1 o2 o3 o4 o5 o6 o7:
    case Hs.HsW2{a0, a1} Hs.HsW2{a2, a3} Hs.HsW2{a4, a5} Hs.HsW2{a6, a7} Hs.HsW2{a8, a9} Hs.HsW2{a10, a11} Hs.HsW2{a12, a13} Hs.HsW2{a14, a15}:
      Hs.HsW16{a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15}

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