ReaderDomains.detached_values: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/reader_domains.bend as ReaderDomains
Lines 26-28 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=26&end_line=28

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

def detached_values(~S: Data,~C: Type,~R: Type,~E: Data,+namespace: U32,+batches: List<&2,Ev.Batch<E>>,+positions: List<&2,Ev.Position>,+nextReader: U32,+tick: Nat,+frameStart: Nat,+boundary: Nat,+capacity: Nat,+dropped: Nat,+removals: List<&2,E>,observed: W.World<S,C,R,E> & List<&2,E>) -> Detached<S,C,R,E>:
  (world,+values) = observed
  Detached{W.events_replace(~S,~C,~R,~E,world,removals),Events{namespace,batches,positions,nextReader,tick,frameStart,boundary,capacity,dropped,values}}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=U32
  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/event_runtime.bend&name=Position
  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=Events
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=events_replace