def restore_row

stelliferous@0.0.2.0 · proofs/kernel_packing_witness.bend:16

import Base
import stelliferous@0.0.2.0/kernel_spatial_packing.bend as Packing
import stelliferous@0.0.2.0/kernel_tile.bend as Tile

16def restore_row(input: Array<F32>,output: Array<Tile.Tile8>,cursor: RowCursor) -> Packing.RowTiles():
17  RowCursor{i,c,kr,kc,row,offset,ow,h,w,s,p,taps} = cursor
18  Packing.RowTile{input,output,i,c,kr,kc,row,offset,ow,h,w,s,p,taps}