OrdinaryAppExecution.Run: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend as OrdinaryAppExecution
Lines 27-34 of bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend&start_line=27&end_line=34

import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as Single

# A detached batch is returned only after its actual ECS run has completed.
# Execution returns a retained application result and a detached trace batch.
# Inspect result for Finished/Failed/Rejected/Missing; tracing is Disabled or
# Ready according to the actual run. Subscribers process the copied batch
# afterward; external printing/file IO is outside ECS rollback.
# Example: examples/scheduled-health/application.bend, ran().
type Run<A:Type,S:Data,Error:Data> is Type:
  Run{result:Single.RunResult<A,S,Error>,batch:Trace.Batch<Error>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/execution_trace.bend&name=Batch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend&name=RunResult