Events.read_named: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/events.bend as Events
Lines 38-40 of bendvy-ecs-core@0.1.0.4/events.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/events.bend&start_line=38&end_line=40

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

def read_named(~S: Data,~C: Type,~R: Type,~E: Data,named: W.World<S,C,R,E> & U32,reader: Reader<S>) -> Observed<S,C,R,E>:
  match named reader:
    case (world,actual) Reader{+namespace,+offset}: read_checked(~S,~C,~R,~E,U32.is_eq(actual,namespace),world,Reader{namespace,offset})

Uses (8):
  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=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/events.bend&name=Observed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/events.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/events.bend&name=read_checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World