TensorBandConcat.compatible_plans: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_band_concat.bend as TensorBandConcat
Lines 46-51 of stelliferous@0.0.2.0/tensor_band_concat.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_band_concat.bend&start_line=46&end_line=51

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

# Reuse the existing metadata traversal to classify the common band path.
# Mixed representations and different plans use the dense concat caller.
def compatible_plans(first: Maybe<&2,Bands.Plan>,rest: Maybe<&2,Bands.Plan>) -> Bool:
  match first rest:
    case Some{first} Some{rest}: Bands.same_plan(first,rest)
    case first rest: False{}

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=Maybe
  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_plan