ExecutionComposerLayout.subtree_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 225-230 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=225&end_line=230

import Base

def subtree_rest(~S:Data,layout:Layout,route:Route) -> Type:
  match layout route:
    case _ AtLeaf{}:Unit
    case LayoutPair{left,right} InLeft{rest}:columns(~S,right) & subtree_rest(~S,left,rest)
    case LayoutPair{left,right} InRight{rest}:columns(~S,left) & subtree_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