ExecutionMachineStream.Store: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend as ExecutionMachineStream
Lines 8-11 of bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend&start_line=8&end_line=11

import Base
import bendvy-ecs-core@0.1.0.3/machine.bend as M
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

# Public machine constructors retain their existing shape. Message sequence,
# namespace checks, reading and two-generation retention use the shared channel.
type Store<-V:Data> is Data:
  Store{queue:Queue.Queue<M.Transition<V>>,olderThrough:Nat,maintenance:Maybe<&2,Tick.Tick>}

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