TensorBand.same_plan: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_band.bend as TensorBand
Lines 99-105 of stelliferous@0.0.2.0/tensor_band.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_band.bend&start_line=99&end_line=105

import Base

def same_plan(left: Plan,right: Plan) -> Bool:
  match left right:
    case Rows{first,rows} Rows{other_first,other_rows}:
      U32.is_eq(first,other_first) && U32.is_eq(rows,other_rows)
    case Split{left,right} Split{other_left,other_right}:
      same_plan(left,other_left) && same_plan(right,other_right)
    case left right: 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=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_band.bend&name=Plan