DependencyApplication.run: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/dependency_application.bend as DependencyApplication
Lines 84-86 of bendvy-ecs-core@0.1.0.3/dependency_application.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&start_line=84&end_line=86

import Base
import bendvy-ecs-core@0.1.0.3/dependency_executor.bend as Exec

def run(~World:Type,~Owners:Type,~Guards:Type,~Handler:Type,~Error:Data,~Out:Data,~dispatch:Owners -> World -> U32 -> Owners & (World & Exec.Invocation<Error,Out>),~guardDispatch:Guards -> World -> U32 -> Guards & (World & Exec.Invocation<Error,Bool>),~handle:Handler -> Error -> Handler & Exec.Handling,app:Application<World,Owners,Guards,Handler,Error,Out,dispatch,guardDispatch,handle>) -> Application<World,Owners,Guards,Handler,Error,Out,dispatch,guardDispatch,handle> & Report<Error,Out>:
  match app:
    case Application{state,+plan,+bindings}:returned(~World,~Owners,~Guards,~Handler,~Error,~Out,~dispatch,~guardDispatch,~handle,Exec.run(~State<World,Owners,Guards,Handler>,~String,~Error,~Out,~condition_state(~World,~Owners,~Guards,~Handler,~Error,~Out,~dispatch,~guardDispatch,~handle),~dispatch_state(~World,~Owners,~Guards,~Handler,~Error,~Out,~dispatch,~guardDispatch,~handle),~handle_state(~World,~Owners,~Guards,~Handler,~Error,~Out,~dispatch,~guardDispatch,~handle),plan,state),plan,bindings)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Application
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=Report
  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/dependency_application.bend&name=condition_state
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=dispatch_state
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=handle_state
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_executor.bend&name=Handling
  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_executor.bend&name=run