type Reading

bendvy-ecs-core@0.1.0.3 · execution_machine_stream.bend:14

import Base
import bendvy-ecs-core@0.1.0.3/machine.bend as M
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

14type Reading<-S:Data,-K:Data,-V:Data,-origin:Layout.Layout,-route:Layout.Route> is Type:
15  Read{reader:Reader<S,K,V,origin,route>,events:List<&2,M.Transition<V>>,missed:Nat,tick:Tick.Tick}
16  Refused{reader:Reader<S,K,V,origin,route>}