ExecutionTrace.Batch: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/execution_trace.bend as ExecutionTrace
Lines 35-40 of bendvy-ecs-core@0.1.0.4/execution_trace.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/execution_trace.bend&start_line=35&end_line=40

import Base

# Detached delivery value returned after execution. Disabled differs from an
# enabled Ready batch with no events. No live reader or stream retention is held;
# keeping or dropping a copied batch does not acknowledge an ECS event reader.
type Batch<Error:Data> is Data:
  Disabled{}
  BendvyReady{events:List<&2,TraceEvent<Error>>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/execution_trace.bend&name=TraceEvent