EventNoticeRuntime.inventoried: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as EventNoticeRuntime
Lines 103-105 of bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&start_line=103&end_line=105

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/event_family_runtime.bend as Family
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

def inventoried(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,world:W.World<S,C,R,Notice.Notice<S,P>>,owners:H,journal:List<&2,Ev.Batch<P>>,frameStart:Nat,failures:Failures<S,P>,tick:Nat,returned:F & List<&2,String>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,State<S,P,F,H>> & Maybe<&2,List<&2,String>>:
  match returned:
    case (family,names):(Route.Runtime{world,State{Family.State{family,owners,journal,frameStart},failures},tick},Some{names})

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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.4/event_family_routing.bend&name=Runtime
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_family_runtime.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&name=Failures
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=Batch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_commands.bend&name=Notice
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World