~/jendhub

def dense_result

stelliferous@0.0.2.0 · tensor_band.bend:353

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

353def dense_result(~Element: Data,+first: U32,+rows: U32,owners: Storage.Buffer<Element> & Storage.Buffer<Element>) -> Storage.Buffer<Element> & Bands(~Element):
354  (source,band) = owners
355  (source,Partition.Leaf{band,first,rows,Unit{}})

Uses (7)

Used by (1)