InspectorQueryProjection.constrain: 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 136-139 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=136&end_line=139

import Base

# Add a predicate to an existing selection without changing its projected
# type. Canonical matching short-circuits; projection remains the source route.
def constrain(~H:Type,~S:Data,~V:Data,~source:DeclaredSelection<H,S,V>,~predicate:Predicate<H,S>) -> DeclaredSelection<H,S,V>:
  DeclaredSelection{constrained(~H,~S,matches_field(~H,~S,~V,source),predicate_field(~H,~S,predicate)),project_field(~H,~S,~V,source)}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=DeclaredSelection
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=Predicate
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=constrained
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=matches_field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=predicate_field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=project_field