~/jendhub

def run1.sums

bend-parallel@0.1.0.0 · scan.bend:202

import bend-parallel@0.1.0.0/scan.bend as Scan
import Base

202# The scan with pass 2 by run0 at depth d / 2.
203def run1.sums(+inc: Bool, +d: Nat, +e: Nat, r: Two) -> Array<U32> & U32:
204  Two{a, s} = r
205  run.mid(inc, d, e, a, run0(False{}, half(d), Array.size(U32, s)))

Uses (10)

Used by (1)