InspectorQueryProjection.projected_right: 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 103-105 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=103&end_line=105

import Base

def projected_right(~H:Type,~A:Data,~B:Data,left:A,observed:H & B) -> H & Product<A,B>:
  (owner,right)=observed
  (owner,Product{left,right})

Uses (3):
  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