Streebog.HsStreebog.compress: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 784-787 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=784&end_line=787

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

# (a block of another length gives zeros, as Hs.hs.block.le does: the engine
# passes only whole blocks)
def HsStreebog.compress(cv: HsStbCv, blk: List<&2, U32>) -> HsStbCv:
  hs.stb.compress.of(cv, Hs.hs.block.le(blk))

Uses (5):
  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-osdev-hashes@0.1.0.0/hashes.bend&name=hs.block.le
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=HsStbCv
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=hs.stb.compress.of