~/jendhub

def zeros_onto

bend-collections@1.0.0.0 · src/crypto/sha/core.bend:967

import bend-collections@1.0.0.0/src/crypto/sha/core.bend as Core
import Base

967def zeros_onto(z: Nat, acc: List<&2, U32>) -> List<&2, U32>:
968  match z:
969    case 0n:
970      acc
971    case 1n+p:
972      zeros_onto(p, 0 <> acc)

Uses (3)

Used by (1)