Feature.lower_nested: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/feature.bend as Feature
Lines 162-164 of bendvy-ecs-core@0.1.0.3/feature.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&start_line=162&end_line=164

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_composer_schema.bend as Schema
import bendvy-ecs-core@0.1.0.3/execution_registry.bend as Registry
import bendvy-ecs-core@0.1.0.3/dependency_registration.bend as Reg
import bendvy-ecs-core@0.1.0.3/dependency_executor.bend as Exec
import bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend as Scoped
import bendvy-ecs-core@0.1.0.3/dependency_composer.bend as Compose

def lower_nested(~S:Data,~components:Layout.Layout,~resources:Layout.Layout,~World:Type,~Nodes:Type,~Error:Data,~Out:Data,~dispatch:Nodes -> World -> U32 -> Nodes & (World & Exec.Invocation<Error,Out>),selected:Tree<S>,facts:Registry.Facts<Reg.Registry<World,Nodes,Error,Out,dispatch>>,nested:Scoped.Nesting) -> Lowered<Reg.Registry<World,Nodes,Error,Out,dispatch>>:
  match facts nested:
    case Registry.Facts{Reg.Registry{nodes,+planNodes},deferred} Scoped.Nesting{edges,invalid}:Lowered{Registry.Facts{Reg.Registry{nodes,planNodes},deferred},edges,first_error(feature_error(validate(~S,selected)),composition_error(Compose.first_error(nesting_error(invalid),Compose.first_error(Compose.schema_error(Schema.validate(~S,~components,~resources)),Compose.schedule_error(Compose.missing(~S,planNodes,Schema.inventory(~S,~components,~resources)))))))}

Uses (20):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer.bend&name=first_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer.bend&name=missing
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer.bend&name=schedule_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer.bend&name=schema_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_composer_program.bend&name=Nesting
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_executor.bend&name=Invocation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registration.bend&name=Registry
  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_schema.bend&name=inventory
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_schema.bend&name=validate
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_registry.bend&name=Facts
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Lowered
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Tree
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=composition_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=feature_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=first_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=nesting_error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=validate