~/jendhub

def window_size

stelliferous@0.0.2.0 · tensor_band_pool.bend:21

import stelliferous@0.0.2.0/tensor_band_pool.bend as TensorBandPool
import Base
import stelliferous@0.0.2.0/tensor_band_window.bend as BandWindow
import stelliferous@0.0.2.0/tensor_band_schedule.bend as BandSchedule

21def window_size(window: BandWindow.RowWindow) -> BandSchedule.Size:
22  BandWindow.RowWindow{BandWindow.Rows{first,+count},above,below,rows} = window
23  BandSchedule.Size{1,count,count}

Uses (3)

Used by (1)