def band_rows

stelliferous@0.0.2.0 · kernel_planning.bend:73

import Base
import stelliferous@0.0.2.0/kernel_window.bend as KernelWindow

73def band_rows(+band: KernelWindow.Band,+channels: U32,+width: U32) -> InputRows:
74  KernelWindow.Band{+first,+rows} = band
75  InputRows{first,rows,capacity((channels * rows * width : U32))}