ExecutionEventFamily.Reading: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily
Lines 26-29 of bendvy-ecs-core@0.1.0.3/execution_event_family.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_event_family.bend&start_line=26&end_line=29

import Base

type Reading<-S:Data,-P:Type,-key:String,V:Data> is Type:
  Item{reader:Reader<S,P,key>,id:Nat,value:V,missed:Nat}
  Empty{reader:Reader<S,P,key>,missed:Nat}
  ReadRefused{reader:Reader<S,P,key>,reason:Refusal}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_event_family.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_event_family.bend&name=Refusal