def same_plan

stelliferous@0.0.2.0 · tensor_band.bend:99

import Base

99def same_plan(left: Plan,right: Plan) -> Bool:
100  match left right:
101    case Rows{first,rows} Rows{other_first,other_rows}:
102      U32.is_eq(first,other_first) && U32.is_eq(rows,other_rows)
103    case Split{left,right} Split{other_left,other_right}:
104      same_plan(left,other_left) && same_plan(right,other_right)
105    case left right: False{}