def read_result
stelliferous@0.0.2.0 · tensor_lanes.bend:18
import stelliferous@0.0.2.0/tensor_lanes.bend as TensorLanes
import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate
import stelliferous@0.0.2.0/proofs/traversal_witness.bend as Witness
18def read_result(length: Nat,result: Array<F32> & Tile.Tile8,
19 certificate: Certificate.Certificate<F32,Witness.first(~Array<F32>,~Tile.Tile8,result)>) -> Storage.Buffer<F32> & Tile.Tile8:
20 (values,tile) = result
21 (Storage.Buffer{values,length,certificate},tile)