ExecutionGeneralizedRootApplication.published: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_generalized_root_application.bend as ExecutionGeneralizedRootApplication
Lines 17-19 of bendvy-ecs-core@0.1.0.3/execution_generalized_root_application.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_root_application.bend&start_line=17&end_line=19

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/dependency_application.bend as App

def published(~S:Data,~components:L.Layout,~resources:L.Layout,~E:Data,~Nodes:Type,~Guards:Type,~Handler:Type,guards:Guards,handler:Handler,bindings:List<&2,App.Binding>,result:W.World<S,L.columns(~S,components),L.resources(~S,resources),E> & (Nodes & List<&2,U32>)) -> App.State<W.World<S,L.columns(~S,components),L.resources(~S,resources),E>,Nodes,Guards,Handler> & List<&2,U32>:
  match result:
    case (world,(nodes,unapplied)):(App.State{world,nodes,guards,handler,bindings},unapplied)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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_application.bend&name=Binding
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=State
  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=columns
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=resources
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World