ExecutionQueryAdmission.lower_entries: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_admission.bend as ExecutionQueryAdmission
Lines 103-106 of bendvy-ecs-core@0.1.0.3/execution_query_admission.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&start_line=103&end_line=106

import Base
import bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as Schema
import bendvy-ecs-core@0.1.0.3/world.bend as W

def lower_entries(~S:Data,~WC:Type,recipes:List<&2,Recipe.Recipe<S,WC>>,+info:List<&2,Schema.Info>,+handles:List<&2,W.Handle<S>>) -> LoweredEntries<S,WC>:
  match recipes:
    case []:LoweredEntries{[],[]}
    case Recipe.Recipe{Recipe.Entry{+route,kind,+selection,presence}} <> rest:lowered_cons(~S,~WC,route,kind,selection,presence,candidates(~S,info,selection,handles),capacity(info_at(route,info)),bound_entries(~S,info,handles,selection),lower_entries(~S,~WC,rest,info,handles))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&name=LoweredEntries
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&name=bound_entries
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&name=candidates
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&name=capacity
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&name=info_at
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&name=lowered_cons
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend&name=Recipe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_schema.bend&name=Info
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle