def buffers

stelliferous@0.0.2.0 · kernel_packing_buffer.bend:9

import Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate
import stelliferous@0.0.2.0/proofs/traversal_certificate.bend as TraversalCertificate

9def buffers(input_length: Nat,output_length: Nat,result: Array<F32> & Array<Tile.Tile8>,
10  certificates: TraversalCertificate.Certificates<Array<F32>,Tile.Tile8,Certificate.family(~F32),result>) ->
11  Storage.Buffer<F32> & Storage.Buffer<Tile.Tile8>:
12  (input,output) = result
13  TraversalCertificate.Certificates{source_certificate,output_certificate} = certificates
14  (Storage.Buffer{input,input_length,source_certificate},Storage.Buffer{output,output_length,output_certificate})