ExecutionStreamChannel.Reading: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_stream_channel.bend as ExecutionStreamChannel
Lines 12-14 of bendvy-ecs-core@0.1.0.3/execution_stream_channel.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_stream_channel.bend&start_line=12&end_line=14

import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

type Reading<E:Data> is Data:
  Read{cursor:Nat,events:List<&2,E>,missed:Nat,tick:Tick.Tick}
  Refused{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick