EventRuntime.lookup: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/event_runtime.bend as EventRuntime
Lines 141-144 of bendvy-ecs-core@0.1.0.4/event_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&start_line=141&end_line=144

import Base

def lookup(positions: List<&2,Position>,+id: U32) -> Maybe<Position>:
  match positions:
    case []: None{}
    case +position <> rest: lookup_checked(position,id,lookup(rest,id))

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