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

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

# the table of 256 entries (entry i is element i)
def hs.stb.tab(xs: List<&2, Hs.HsW2>) -> HsStbTab:
  hs.stb.root(hs.stb.up(8n, hs.stb.leaves(xs)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW2
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=HsStbTab
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=hs.stb.leaves
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=hs.stb.root
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=hs.stb.up