type Reading

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:26

import Base

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