def zeros_onto

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

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)