Parallel.block_tree: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/parallel.bend as Parallel
Lines 40-51 of bend-visgraph@2.0.0.0/parallel.bend: https://jend.leeeet.dev/read.txt?path=bend-visgraph@2.0.0.0/parallel.bend&start_line=40&end_line=51

import Base
import bend-visgraph@2.0.0.0/visgraph.bend as VG

def block_tree(depth: Nat, +s: U32, +e: U32, cc: VG.Cols & VG.Cols) -> Blocks:
  match depth:
    case 1n++d:
      (c1, c2) = cc
      +mid = (s + U32.shr((e - s : U32)) : U32)
      x y = block_tree(d, s, mid, fork_cols(c1)) block_tree(d, mid, e, fork_cols(c2))
      BJoin{x, y}
    case 0n:
      (c1, c2) = cc
      +mid = (s + U32.shr((e - s : U32)) : U32)
      x y = block_leaf(s, mid, c1) block_leaf(mid, e, c2)
      BJoin{x, y}

Uses (11):
  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=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shr
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/parallel.bend&name=Blocks
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/parallel.bend&name=block_leaf
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/parallel.bend&name=fork_cols
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Cols