TensorBand.leaf_task: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_band.bend as TensorBand
Lines 163-172 of stelliferous@0.0.2.0/tensor_band.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_band.bend&start_line=163&end_line=172

import Base
import stelliferous@0.0.2.0/traversal_partition.bend as Partition

# One leaf below a parallel split. It neither forks nor calls a closure, so
# the runtime keeps it as its own task for the work turn; a leaf inlined into
# the forking recursion would run in the grow turn on one worker per row.
def leaf_task(~Block: Type,~Output: Type,~Resource: Type,~Context: Data,
  ~leaf: Context -> U32 -> U32 -> Block -> Resource -> Partition.Tree<&1,Output,Unit>,
  ~keep: Partition.Tree<&1,Block,Unit> -> Partition.Tree<&1,Output,Unit>,
  first: U32,rows: U32,context: Context,tree: Partition.Tree<&1,Block,Unit>,resource: Resource) -> Partition.Tree<&1,Output,Unit>:
  match tree:
    case Partition.Leaf{block,offset,span,details}: leaf(context,first,rows,block,resource)
    case Partition.Fork{left,right}: keep(Partition.Fork{left,right})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_partition.bend&name=Tree