Scan.run.mid: def of bend-parallel@0.1.0.0
Import: import bend-parallel@0.1.0.0/scan.bend as Scan
Lines 181-184 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=181&end_line=184

import Base

# Pass 3, from pass 2's bases and total.
def run.mid(+inc: Bool, +d: Nat, +e: Nat, a: Array<U32>, r: Array<U32> & U32) -> Array<U32> & U32:
  (s, +total) = r
  run.fin(puts(inc, d, 0, e, Array.fork(U32, a), Array.fork(U32, s)), total)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.fork
  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=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-parallel@0.1.0.0/scan.bend&name=puts
  https://jend.leeeet.dev/definition.txt?path=bend-parallel@0.1.0.0/scan.bend&name=run.fin