TensorBandWindow.nonempty: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_band_window.bend as TensorBandWindow
Lines 29-33 of stelliferous@0.0.2.0/tensor_band_window.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_band_window.bend&start_line=29&end_line=33

import Base

def nonempty(active: Bool,window: RowWindow) -> RowWindow:
  match active window:
    case True{} window: window
    case False{} RowWindow{output,Rows{above_first,above_count},Rows{below_first,below_count},Rows{window_first,window_count}}:
      RowWindow{output,Rows{above_first,0},Rows{below_first,0},Rows{window_first,0}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_window.bend&name=RowWindow
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_window.bend&name=Rows