def zeros.go

bend-osdev-bytes@0.1.1.0 · bytes.bend:285

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

285def zeros.go(n: Nat, acc: List<&2, U32>) -> List<&2, U32>:
286  match n:
287    case 0n:
288      acc
289    case 1n+p:
290      zeros.go(p, Con{0, acc})

Uses (3)

Used by (3)