def declaration

bendvy-ecs-core@0.1.0.4 · ordinary_check_query.bend:59

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as D
import bendvy-ecs-core@0.1.0.4/inspector_query.bend as Query
import bendvy-ecs-core@0.1.0.4/inspector_query_world.bend as Traverse
import bendvy-ecs-core@0.1.0.4/check.bend as K

59def declaration(~S:Data,~Store:Type,~R:Type,~E:Data,~V:Data,~source:Selection<K.Frame<S,Store,R,E>,S,V>) -> D.Declaration<S,Store,R,E,Ops(~S,~V)>:
60  D.Declaration{K.Plan{D.provided(~S,~Store,~R,~E),Read{Query.grant_composed(~K.Frame<S,Store,R,E>,~S,~V,~selected(~K.Frame<S,Store,R,E>,~S,~V,source),~Traverse.check_world(~S,~Store,~R,~E))}},uses(~K.Frame<S,Store,R,E>,~S,~V,source)}