def empty

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

import Base

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