ReaderDomains.detach: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/reader_domains.bend as ReaderDomains
Lines 29-31 of bendvy-ecs-core@0.1.0.4/reader_domains.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/reader_domains.bend&start_line=29&end_line=31

import Base
import world.bend as W
import event_runtime.bend as Ev

def detach(~S: Data,~C: Type,~R: Type,~E: Data,runtime: Ev.Runtime<S,C,R,E>,+removals: List<&2,E>) -> Detached<S,C,R,E>:
  match runtime:
    case Ev.Runtime{world,+ns,+batches,+positions,+next,+tick,+start,+boundary,+capacity,+dropped}: detached_values(~S,~C,~R,~E,ns,batches,positions,next,tick,start,boundary,capacity,dropped,removals,W.events_view(~S,~C,~R,~E,world))

Uses (5):
  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.4/event_runtime.bend&name=Runtime
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/reader_domains.bend&name=Detached
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/reader_domains.bend&name=detached_values
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=events_view