OwnedEventRuntime.run: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/owned_event_runtime.bend as OwnedEventRuntime
Lines 51-54 of bendvy-ecs-core@0.1.0.4/owned_event_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_runtime.bend&start_line=51&end_line=54

import Base
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as Storage
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event.bend as Ord

def run(~S:Data,~C:Type,~R:Type,~P:Type,~Request:Type,~Projection:Data,~Args:Type,~Error:Data,~identity:Ord.Domain<S,P>,~at:P -> Request -> P & Projection,~body:@-H:Type -> @-read:Cap.Request<H,Request,Projection> -> H -> Args -> H & (T.Outcome<Error> & Args),runtime:Ev.Runtime<S,C,Storage.Resources<R,P>,Nat>,reader:Ev.Reader<S>,registry:Sys.Registry<S,C,Storage.Resources<R,P>,Nat,Ev.Input<Nat,Args>,Unit,Reply<Error,Args>,runner(~S,~C,~R,~P,~Request,~Projection,~Args,~Error,~identity,~at,~body)>,args:Args) -> Ev.RunResult<S,C,Storage.Resources<R,P>,Nat,Args,Unit,Reply<Error,Args>,runner(~S,~C,~R,~P,~Request,~Projection,~Args,~Error,~identity,~at,~body)>:
  match runtime reader:
    case Ev.Runtime{world,namespace,batches,+positions,nextReader,tick,frameStart,boundary,capacity,dropped} Ev.Reader{readerNamespace,+id,registryId}:
      reconciled(~S,~C,~R,~P,~Request,~Projection,~Args,~Error,~identity,~at,~body,positions,id,Ev.run(~S,~C,~Storage.Resources<R,P>,~Nat,~Args,~Unit,~Reply<Error,Args>,~runner(~S,~C,~R,~P,~Request,~Projection,~Args,~Error,~identity,~at,~body),Ev.Runtime{world,namespace,batches,positions,nextReader,tick,frameStart,boundary,capacity,dropped},Ev.Reader{readerNamespace,id,registryId},registry,args))

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/capabilities.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=Input
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=RunResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=Runtime
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=run
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_owned_event.bend&name=Domain
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_runtime.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_runtime.bend&name=reconciled
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_runtime.bend&name=runner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_storage.bend&name=Resources
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&name=Registry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Outcome