KernelRows.half: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_rows.bend as KernelRows
Lines 28-36 of stelliferous@0.0.2.0/kernel_rows.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_rows.bend&start_line=28&end_line=36

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

# The lower or upper four rows of an eight-row weight tile.
def half(upper: Bool,tile: Tile.Tile8) -> Rows<F32>:
  match upper:
    case False{}:
      Tile.Tile{a,b,c,d,e,f,g,h} = tile
      Rows{a,b,c,d}
    case True{}:
      Tile.Tile{a,b,c,d,e,f,g,h} = tile
      Rows{e,f,g,h}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_rows.bend&name=Rows
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=Tile8