def valid

bendvy-ecs-core@0.1.0.3 · execution_composer_layout.bend:104

import Base

104def valid(layout:Layout,route:Route) -> Bool:
105  match layout route:
106    case LayoutLeaf{_,V,_,_,_} AtLeaf{}:True{}
107    case ClassifiedLayoutLeaf{_,V,_,_,_,_} AtLeaf{}:True{}
108    case LayoutPair{left,_} InLeft{rest}:valid(left,rest)
109    case LayoutPair{_,right} InRight{rest}:valid(right,rest)
110    case _ _:False{}