def restore_crossing

stelliferous@0.0.2.0 · proofs/kernel_packing_witness.bend:123

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

123def restore_crossing(input: Array<F32>,output: Array<Tile.Tile8>,cursor: CrossingCursor) -> Packing.Crossings():
124  CrossingCursor{i,q,position,h,w,k,s,p,ow} = cursor
125  Packing.Crossing{input,output,i,q,position,h,w,k,s,p,ow}