TensorBandConcat.rows: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_band_concat.bend as TensorBandConcat
Lines 92-100 of stelliferous@0.0.2.0/tensor_band_concat.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_band_concat.bend&start_line=92&end_line=100

import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors
import stelliferous@0.0.2.0/tensor_band.bend as Bands
import stelliferous@0.0.2.0/storage_buffer.bend as Storage

def rows(~Element: Data,geometry: Bands.Geometry,+first: U32,+rows: U32,channel: U32,tensor: Tensors.Tensor<Element>,output: Storage.Buffer<Element>) -> Tensors.Tensor<Element> & Storage.Buffer<Element>:
  match tensor:
    case Tensors.Tensor{input,shape,fill,status,workers}:
      Storage.bind_pair(~Storage.Buffer<Element>,~Storage.Buffer<Element>,~(Tensors.Tensor<Element> & Storage.Buffer<Element>),
        dense_rows(~Element,geometry,first,rows,channel,input,output),input => output => (Tensors.Tensor{input,shape,fill,status,workers},output))
    case Tensors.Banded{bands,+geometry,shape,fill,status,workers}:
      Storage.bind_pair(~Bands.Bands(~Element),~Storage.Buffer<Element>,~(Tensors.Tensor<Element> & Storage.Buffer<Element>),
        Bands.range_into(~Element,geometry,first,rows,channel_offset(geometry,channel,rows),bands,output),bands => output =>
          (Tensors.Banded{bands,geometry,shape,fill,status,workers},output))

Uses (11):
  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=stelliferous@0.0.2.0/storage_buffer.bend&name=Buffer
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/storage_buffer.bend&name=bind_pair
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor.bend&name=Tensor
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=Bands
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=Geometry
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=range_into
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_concat.bend&name=channel_offset
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_concat.bend&name=dense_rows