TensorBandPool.prepared: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_band_pool.bend as TensorBandPool
Lines 76-81 of stelliferous@0.0.2.0/tensor_band_pool.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_band_pool.bend&start_line=76&end_line=81

import Base
import stelliferous@0.0.2.0/tensor_band.bend as Bands
import stelliferous@0.0.2.0/tensor_band_window.bend as BandWindow

def prepared(~Element: Data,~operation: Element -> Element -> Element,+context: Context<Element>,+layout: Bands.Plan,owners: Bands.Bands(~Element) & BandWindow.Halos(~Element)) -> Bands.Bands(~Element):
  Context{+window,pad,fill,workers} = context
  (bands,halos) = owners
  +geometry = BandWindow.input_geometry(window)
  +enabled = parallel(window,workers,plan_size(layout,window))
  BandWindow.apply(~Element,~Context<Element>,~leaf(~Element,~operation),layout,enabled && Bands.same_image(geometry,layout),enabled,geometry,context,bands,halos)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=Bands
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=same_image
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_pool.bend&name=Context
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_pool.bend&name=leaf
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_pool.bend&name=parallel
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_pool.bend&name=plan_size
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_window.bend&name=Halos
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_window.bend&name=apply
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_window.bend&name=input_geometry