OrdinaryQueryDeclaration.Declaration: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as OrdinaryQueryDeclaration
Lines 27-31 of bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend&start_line=27&end_line=31

import Base

# Typed query declaration: grants, row selection and debug clauses share one source.
# Build with read/write/filter constructors and pair; raw construction is a trusted
# adapter boundary. H is threaded affinely; G determines available operations.
type Declaration<-S:Data,H:Type,G:Type> is Type:
  Declaration{grant:G,select:H -> H & Bool,clauses:List<&2,Clause<S>>}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend&name=Clause