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

import Base
import entity_key.bend as K

# Extract the complete index/generation key, without checking namespace or liveness.
def handle_key(~S:Data,handle:Handle<S>) -> K.Key:
  match handle:
    case Handle{_,key}:key

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle