KernelSpatialPacking.store_crossing: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_spatial_packing.bend as KernelSpatialPacking
Lines 111-114 of stelliferous@0.0.2.0/kernel_spatial_packing.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_spatial_packing.bend&start_line=111&end_line=114

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

def store_crossing(output: Array<Tile.Tile8>,+index: U32,reduction: U32,position: U32,height: U32,width: U32,kernel: U32,stride: U32,padding: U32,output_width: U32,
  pair: Array<F32> & Tile.Tile8) -> Crossings():
  (input,value) = pair
  Crossing{input,Array.set(Tile.Tile8,output,index,value),(index + 1 : U32),(reduction + 1 : U32),position,height,width,kernel,stride,padding,output_width}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_spatial_packing.bend&name=CrossingState
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_spatial_packing.bend&name=Crossings
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=Tile8