def hs.stb.join

bend-osdev-hashes@0.1.0.0 · streebog.bend:113

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

113# eight 64-bit chunks as a 512-bit vector, chunk 0 the least significant
114def 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:
115  match o0 o1 o2 o3 o4 o5 o6 o7:
116    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}:
117      Hs.HsW16{a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15}