Sha1.HsSha1.iv: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/sha1.bend as Sha1
Lines 261-263 of bend-osdev-hashes@0.1.0.0/sha1.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/sha1.bend&start_line=261&end_line=263

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

# The chaining value before any block (section 5.3.1)
def HsSha1.iv() -> Hs.HsW5:
  Hs.HsW5{1732584193, 4023233417, 2562383102, 271733878, 3285377520}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW5