ExecutionComposerLayout.valid: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as ExecutionComposerLayout
Lines 104-110 of bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&start_line=104&end_line=110

import Base

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Route