InspectorQueryProjection.empty: 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 91-94 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=91&end_line=94

import Base

# Create an unconditional Unit-valued selection over opaque H.
# It is not a live-target proof; World validation comes from the query grant.
def empty(~H:Type,~S:Data) -> DeclaredSelection<H,S,Unit>:
  DeclaredSelection{yes(~H,~S),empty_value(~H,~S)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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=empty_value
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend&name=yes