~/jendhub

def projected_right

bendvy-ecs-core@0.1.0.3 · inspector_query_projection.bend:103

import bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend as InspectorQueryProjection
import Base

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

Uses (3)

Used by (1)