ExecutionComposerLayout.subtree_put: 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 245-255 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=245&end_line=255

import Base
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product

def subtree_put(~S:Data,layout:Layout,route:Route,rest:subtree_rest(~S,layout,route),selected:columns(~S,subtree(layout,route))) -> columns(~S,layout):
  match layout route rest:
    case _ AtLeaf{} _:selected
    case EmptyLayout{} InLeft{_} rest:rest
    case EmptyLayout{} InRight{_} rest:rest
    case LayoutLeaf{_,V,_,_,_} InLeft{_} rest:rest
    case ClassifiedLayoutLeaf{_,V,_,_,_,_} InLeft{_} rest:rest
    case LayoutLeaf{_,V,_,_,_} InRight{_} rest:rest
    case ClassifiedLayoutLeaf{_,V,_,_,_,_} InRight{_} rest:rest
    case LayoutPair{left,right} InLeft{path}, (outer,inner):Product.Owner{subtree_put(~S,left,path,inner,selected),outer}
    case LayoutPair{left,right} InRight{path}, (outer,inner):Product.Owner{outer,subtree_put(~S,right,path,inner,selected)}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=subtree
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=subtree_rest
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=Owner