EventNoticeRuntime.ingest: 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 140-142 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=140&end_line=142

import Base
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend as D
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

def ingest(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,~sync:F -> Nat -> List<&2,P> -> F,~classify:Notice.Notice<S,P> -> Maybe<D.DescriptorKey<S>>,+tick:Nat,runtime:Route.Runtime<S,C,R,Notice.Notice<S,P>,State<S,P,F,H>>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,State<S,P,F,H>>:
  match runtime:
    case Route.Runtime{world,state,_}:ingested_typed(~S,~C,~R,~P,~F,~H,~classify,tick,synchronize(~S,~C,~R,~P,~F,~H,~sync,world,state,tick))

Uses (9):
  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=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_notice_runtime.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&name=ingested_typed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&name=synchronize
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=DescriptorKey
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_commands.bend&name=Notice