def zero.go

bend-parallel@0.1.0.0 · histogram.bend:104

import Base

104# n + 1 zeros from at.
105def zero.go(+n: Nat, +at: U32, t: Array<U32>) -> Array<U32>:
106  match n:
107    case 0n:
108      t[at] <- 0
109    case 1n+p:
110      zero.go(p, (at + 1 : U32), t[at] <- 0)