def bsum.go

bend-kit-tar@0.3.0.0 · tar.bend:21

import bend-kit-tar@0.3.0.0/tar.bend as Tar

import Base

21def bsum.go(n: Nat, r: Array<U32> & U32, +k: U32, +acc: U32) -> Array<U32> & U32:
22  match n:
23    case 0n:
24      (a, w) = r
25      (a, acc)
26    case 1n+p:
27      (a, +w) = r
28      bsum.go(p, Array.get(U32, a, (k + 1 : U32)), (k + 1 : U32), (acc + wsum(w) : U32))

Uses (8)

Used by (1)

bend-kit-tar@0.3.0.0/tar:bsum