Scan.sums.leaf: def of bend-parallel@0.1.0.0
Import: import bend-parallel@0.1.0.0/scan.bend as Scan
Lines 108-111 of bend-parallel@0.1.0.0/scan.bend: https://jend.leeeet.dev/read.txt?path=bend-parallel@0.1.0.0/scan.bend&start_line=108&end_line=111

import Base

# Block i (2^e entries): its sum into s[i].
def sums.leaf(+i: U32, +e: Nat, a: Array<U32>, s: Array<U32>) -> Two:
  +at = U32.shln(i, e)
  sums.leaf.fin(i, s, sum.go(U32.to_nat((U32.shln(1, e) - 1 : U32)), at, 0, a[at]))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-parallel@0.1.0.0/scan.bend&name=Two
  https://jend.leeeet.dev/definition.txt?path=bend-parallel@0.1.0.0/scan.bend&name=sum.go
  https://jend.leeeet.dev/definition.txt?path=bend-parallel@0.1.0.0/scan.bend&name=sums.leaf.fin