KernelSpatialPacking.tile_step: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_spatial_packing.bend as KernelSpatialPacking
Lines 152-157 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=152&end_line=157

import Base

# Eight positions from output column c stay in one output row when c + 8 is at
# most the output width, and in two when it is at most twice the width.
def tile_step(state: Tiled()) -> Tiled():
  Tiles{input,output,index,+position,height,width,kernel,stride,padding,+output_width,channels,taps,inner} = state
  tile(U32.is_le((position % output_width + 8 : U32),output_width),U32.is_le((position % output_width + 8 : U32),(output_width + output_width : U32)),
    input,output,index,position,height,width,kernel,stride,padding,output_width,channels,taps,inner)

Uses (7):
  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=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_spatial_packing.bend&name=TileState
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_spatial_packing.bend&name=Tiled
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_spatial_packing.bend&name=tile