ExecutionComposerLayout.column_rest: 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 119-125 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=119&end_line=125

import Base

def column_rest(~S:Data,layout:Layout,route:Route) -> Type:
  match layout route:
    case LayoutLeaf{_,V,_,_,_} AtLeaf{}:Unit
    case ClassifiedLayoutLeaf{_,V,_,_,_,_} AtLeaf{}:Unit
    case LayoutPair{left,right} InLeft{rest}:columns(~S,right) & column_rest(~S,left,rest)
    case LayoutPair{left,right} InRight{rest}:columns(~S,left) & column_rest(~S,right,rest)
    case layout _:columns(~S,layout)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=columns