TensorBand.row_plan: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_band.bend as TensorBand
Lines 375-382 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=375&end_line=382

import Base

def row_plan(depth: Nat,split: Bool,+first: U32,+rows: U32) -> Plan:
  match depth split:
    case 0n split: Rows{first,rows}
    case 1n+rest False{}: Rows{first,rows}
    case 1n+ +rest True{}:
      +half = (rows / 2 : U32)
      Split{row_plan(rest,U32.is_lt(1,half),first,half),
        row_plan(rest,U32.is_lt(1,(rows - half : U32)),(first + half : U32),(rows - half : U32))}

Uses (8):
  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=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.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=Plan