World.events_replace: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/world.bend as World
Lines 376-381 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=376&end_line=381

import Base

# Event runtime retention replaces only its owned event domain.
# Administrative replacement of the Data event domain only. It does not execute
# pending work, rebuild registrations or reset external event reader owners.
def events_replace(~S: Data,~C: Type,~R: Type,~E: Data,world: World<S,C,R,E>,+retained: List<&2,E>) -> World<S,C,R,E>:
  match world:
    case World{+namespace,allocator,store,resource,_,pending,+registrations,+nextSystemId,+clock,lifecycle}: World{namespace,allocator,store,resource,retained,pending,registrations,nextSystemId,clock,lifecycle}

Uses (2):
  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