Streebog.HsStbCv: type of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 45-47 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=45&end_line=47

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

# The chaining value (opaque): h, N, Sigma, and the tables
type HsStbCv is Data:
  HsStbCv{h: Hs.HsW16, n: Hs.HsW16, s: Hs.HsW16, t: HsStbTabs}

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/streebog.bend&name=HsStbTabs