World.event_publish: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/world.bend as World
Lines 264-270 of bendvy-ecs-core@0.1.0.3/world.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&start_line=264&end_line=270

import Base

# An empty publication changes no field and needs no traversal of retained events.
# Append detached Data events in list order and return World. Empty input preserves
# World. This does not synchronize typed event Runtime batches/readers or run systems.
def event_publish(~S: Data,~C: Type,~R: Type,~E: Data,world: World<S,C,R,E>,+published: List<&2,E>) -> World<S,C,R,E>:
  match published:
    case []: world
    case head <> rest: event_publish_nonempty(~S,~C,~R,~E,world,head <> rest)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=event_publish_nonempty