Scan.run0.sums: def of bend-parallel@0.1.0.0 Import: import bend-parallel@0.1.0.0/scan.bend as Scan Lines 190-193 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=190&end_line=193 import Base # The scan with pass 2 on one lane. def run0.sums(+inc: Bool, +d: Nat, +e: Nat, r: Two) -> Array & U32: Two{a, s} = r run.mid(inc, d, e, a, ex.go(U32.to_nat((U32.shln(1, d) - 1 : U32)), 0, 0, s[0])) Uses (12): 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=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair 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=ex.go https://jend.leeeet.dev/definition.txt?path=bend-parallel@0.1.0.0/scan.bend&name=run.mid