def after_crossing

stelliferous@0.0.2.0 · kernel_spatial_packing.bend:135

import Base

135def after_crossing(channels: Nat,taps: Nat,inner: Nat,state: Crossings()) -> Tiled():
136  Crossing{input,output,index,reduction,position,height,width,kernel,stride,padding,output_width} = state
137  Tiles{input,output,index,(position + 8 : U32),height,width,kernel,stride,padding,output_width,channels,taps,inner}