~/jendhub

def range_result

stelliferous@0.0.2.0 · tensor_band.bend:288

import stelliferous@0.0.2.0/tensor_band.bend as TensorBand
import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/traversal_partition.bend as Partition

288def range_result(~Element: Data,+first: U32,+rows: U32,owners: Storage.Buffer<Element> & Storage.Buffer<Element>) -> Bands(~Element) & Storage.Buffer<Element>:
289  (source,output) = owners
290  (Partition.Leaf{source,first,rows,Unit{}},output)

Uses (7)

Used by (1)