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

import Base
import entity_allocator.bend as A

# Return World and currently visible live full handles in allocator-visible order.
# Reserved/Pending handles are not an ordinary query membership list yet.
def handles(~S:Data,~C:Type,~R:Type,~E:Data,world:World<S,C,R,E>) -> World<S,C,R,E> & List<&2,Handle<S>>:
  match world:
    case World{namespace,allocator,store,resource,events,pending,registrations,nextSystemId,clock,lifecycle}:handles_join(~S,~C,~R,~E,namespace,store,resource,events,pending,registrations,nextSystemId,clock,A.visible(allocator),lifecycle)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_allocator.bend&name=visible
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle
  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=handles_join