ExecutionSchedule.run_with_completion: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_schedule.bend as ExecutionSchedule
Lines 46-47 of bendvy-ecs-core@0.1.0.3/execution_schedule.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_schedule.bend&start_line=46&end_line=47

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

def run_with_completion(~Actual:Type,~Error:Data,~Out:Data,~condition:Actual -> U32 -> Actual & Exec.Condition<Error>,~dispatch:Actual -> U32 -> Actual & Exec.Invocation<Error,Out>,~handler:Actual -> Error -> Actual & Exec.Handling,~apply:List<&2,U32> -> Actual -> Actual & List<&2,U32>,completion:Exec.ExecutionResult<Actual,String,Error,Out> -> Exec.ExecutionResult<Actual,String,Error,Out>,scheduled:Scheduled<Actual>) -> Scheduled<Actual> & App.Report<Error,Out>:
  unobserved(~Actual,~Error,~Out,run_observed_with_completion(~Actual,~Error,~Out,~condition,~dispatch,~handler,~apply,completion,False{},scheduled))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=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=Report
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_executor.bend&name=Condition
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_executor.bend&name=ExecutionResult
  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/execution_schedule.bend&name=Scheduled
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_schedule.bend&name=run_observed_with_completion
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_schedule.bend&name=unobserved