type Predicate

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

import Base
import world.bend as W

68# Trusted target predicate threading opaque H. Contains no Data projection
69# or implicit World validity proof; compose it with the canonical query route.
70type Predicate<-H:Type,-S:Data> is Type:
71  Predicate{matches:H -> W.Handle<S> -> H & Bool}