~/jendhub

def stored_crossing

stelliferous@0.0.2.0 · proofs/kernel_packing_witness.bend:131

import stelliferous@0.0.2.0/proofs/kernel_packing_witness.bend as KernelPackingWitness
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

131def stored_crossing(output: Array<Tile.Tile8>,cursor: CrossingCursor,result: Array<F32> & Tile.Tile8) -> Packing.Crossings():
132  CrossingCursor{i,q,position,h,w,k,s,p,ow} = cursor
133  Packing.store_crossing(output,i,q,position,h,w,k,s,p,ow,result)

Uses (7)

Used by (1)