TensorSelect.common: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_select.bend as TensorSelect
Lines 36-40 of stelliferous@0.0.2.0/tensor_select.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_select.bend&start_line=36&end_line=40

import Base
import stelliferous@0.0.2.0/tensor_band_schedule.bend as Schedule

def common(left: Maybe<&2,BandPlan>,right: Maybe<&2,BandPlan>) -> Maybe<&2,BandPlan>:
  match left right:
    case Some{BandPlan{+geometry,left}} Some{BandPlan{other,right}}: Some{BandPlan{geometry,Schedule.alignment(geometry,left,right)}}
    case Some{left} None{}: Some{left}
    case None{} right: right

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band_schedule.bend&name=alignment
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_select.bend&name=BandPlan