InspectorQueryProjection.projected_left: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend as InspectorQueryProjection
Lines 106-108 of bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&start_line=106&end_line=108

import Base
import world.bend as W

def projected_left(~H:Type,~S:Data,~A:Data,~B:Data,~right:H -> W.Handle<S> -> H & B,target:W.Handle<S>,observed:H & A) -> H & Product<A,B>:
  (owner,left)=observed
  projected_right(~H,~A,~B,left,right(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.3/inspector_query_projection.bend&name=Product
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=projected_right
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle