InspectorQuery.composed_runtime_projected_left: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/inspector_query.bend as InspectorQuery
Lines 233-235 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=233&end_line=235

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

def composed_runtime_projected_left(~H:Type,~S:Data,~A:Data,~B:Data,~Arg:Data,~relation_project:Arg -> H -> W.Handle<S> -> H & B,+target:W.Handle<S>,argument:Arg,observed:H & A) -> H & Q.Product<A,B>:
  (owner,left)=observed
  composed_runtime_projected_right(~H,~A,~B,left,relation_project(argument,owner,target))

Uses (5):
  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=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=composed_runtime_projected_right
  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