InspectorQuery.composed_runtime_lookup_selected: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/inspector_query.bend as InspectorQuery
Lines 254-257 of bendvy-ecs-core@0.1.0.4/inspector_query.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&start_line=254&end_line=257

import Base
import inspector_query_projection.bend as Q
import world.bend as W

def composed_runtime_lookup_selected(~H:Type,~S:Data,~A:Data,~B:Data,~Arg:Data,~component:Q.DeclaredSelection<H,S,A>,~relation_project:Arg -> H -> W.Handle<S> -> H & B,+target:W.Handle<S>,argument:Arg,observed:H & Bool) -> H & Result<&2,&2,LookupError,ProjectedRow<S,Q.Product<A,B>>>:
  match observed:
    case (owner,False{}):composed_mismatched(~H,~S,~Q.Product<A,B>,target,owner)
    case (owner,True{}):composed_lookup_projected(~H,~S,~Q.Product<A,B>,target,composed_runtime_project(~H,~S,~A,~B,~Arg,~component,~relation_project,target,argument,owner))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=LookupError
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=ProjectedRow
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=composed_lookup_projected
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=composed_mismatched
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=composed_runtime_project
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query_projection.bend&name=DeclaredSelection
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query_projection.bend&name=Product
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle