def hs.stb.compress.of
import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebogimport Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs
778# One 64-byte block of stage 2: h = g_N(h, m), N += 512, Sigma += m
779def hs.stb.compress.of(cv: HsStbCv, +m: Hs.HsW16) -> HsStbCv:
780 match cv:
781 case HsStbCv{h, +n, s, +t}:
782 HsStbCv{hs.stb.g(t, n, h, m), hs.stb.add(n, hs.stb.small(512)), hs.stb.add(s, m), t}