Hashes.hs.block.le: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/hashes.bend as Hashes
Lines 66-74 of bend-osdev-hashes@0.1.0.0/hashes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&start_line=66&end_line=74

import Base

# A block's sixteen words, little-endian (MD4, MD5, RIPEMD-160) or
# big-endian (SHA-1, SM3); a block of another length gives zeros (the engine
# passes only whole blocks)
def hs.block.le(blk: List<&2, U32>) -> HsW16:
  match blk:
    case Con{b0, Con{b1, Con{b2, Con{b3, Con{b4, Con{b5, Con{b6, Con{b7, Con{b8, Con{b9, Con{b10, Con{b11, Con{b12, Con{b13, Con{b14, Con{b15, Con{b16, Con{b17, Con{b18, Con{b19, Con{b20, Con{b21, Con{b22, Con{b23, Con{b24, Con{b25, Con{b26, Con{b27, Con{b28, Con{b29, Con{b30, Con{b31, Con{b32, Con{b33, Con{b34, Con{b35, Con{b36, Con{b37, Con{b38, Con{b39, Con{b40, Con{b41, Con{b42, Con{b43, Con{b44, Con{b45, Con{b46, Con{b47, Con{b48, Con{b49, Con{b50, Con{b51, Con{b52, Con{b53, Con{b54, Con{b55, Con{b56, Con{b57, Con{b58, Con{b59, Con{b60, Con{b61, Con{b62, Con{b63, Nil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}:
      HsW16{hs.le(b0, b1, b2, b3), hs.le(b4, b5, b6, b7), hs.le(b8, b9, b10, b11), hs.le(b12, b13, b14, b15), hs.le(b16, b17, b18, b19), hs.le(b20, b21, b22, b23), hs.le(b24, b25, b26, b27), hs.le(b28, b29, b30, b31), hs.le(b32, b33, b34, b35), hs.le(b36, b37, b38, b39), hs.le(b40, b41, b42, b43), hs.le(b44, b45, b46, b47), hs.le(b48, b49, b50, b51), hs.le(b52, b53, b54, b55), hs.le(b56, b57, b58, b59), hs.le(b60, b61, b62, b63)}
    case _:
      HsW16{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}

Uses (4):
  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=HsW16
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=hs.le