KernelWindow.copies_band: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_window.bend as KernelWindow
Lines 47-51 of stelliferous@0.0.2.0/kernel_window.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_window.bend&start_line=47&end_line=51

import Base

# A fork copies the left child's band only when rows are whole eight-position
# blocks and the band passes its coverage check; otherwise it clones the parent.
def copies_band(+parent_first: U32,+parent_rows: U32,+height: U32,+kernel: U32,+stride: U32,+padding: U32,+output_width: U32,+offset: U32,+span: U32,
  +band: Band) -> Bool:
  U32.is_zero((output_width % 8 : U32)) && covers(parent_first,parent_rows,height,kernel,stride,padding,output_width,offset,span,band)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  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_window.bend&name=Band
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_window.bend&name=covers