type Lowering
import bendvy-ecs-core@0.1.0.3/execution_query_admission.bend as ExecutionQueryAdmissionimport Base
import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as Schema
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
15type Lowering<-S:Data,-WC:Type,-full:L.Layout> is Data:
16 Lowered{grants:List<&2,Granted<S,WC>>,book:Schema.Book<S,full>}
17 LoweringRefused{}