ExecutionStreamChannel.Store: 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 5-11 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=5&end_line=11

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

# Shared message storage. Sequence numbers are independent of World ticks.
# Bevy code: https://github.com/bevyengine/bevy/blob/ad678262ce53b5d142fe49ee5e08caff6f00ab60/crates/bevy_ecs/src/message/message_cursor.rs#L54-L63
# Behavior: each reader tracks message count, independently of change ticks.
# Bevy code: https://github.com/bevyengine/bevy/blob/ad678262ce53b5d142fe49ee5e08caff6f00ab60/crates/bevy_ecs/src/message/messages.rs#L188-L201
# Behavior: every update removes the older generation and rotates the retained one.
type Store<-E:Data> is Data:
  Store{queue:Queue.Queue<E>,olderThrough:Nat,maintenance:Maybe<&2,Tick.Tick>}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend&name=Queue