~/jendhub

def zeros_onto

mylsm-lsm-store@0.6.0.1 · src/hub_sha/core.bend:3400

import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
import Base

3400# Append zero padding to onto for the SHA-256 compression implementation.
3401def zeros_onto(word_z: Nat, acc: List<&2, U32>) -> List<&2, U32>:
3402  match word_z:
3403    case 0n:
3404      acc
3405    case 1n+p:
3406      zeros_onto(p, 0 <> acc)

Uses (3)

Used by (1)