ExecutionBuilder.query_provision_with: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_builder.bend as ExecutionBuilder
Lines 244-245 of bendvy-ecs-core@0.1.0.3/execution_builder.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&start_line=244&end_line=245

import Base
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as E
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State

def query_provision_with(~S:Data,~WC:Type,~C:Type,~R:Type,~F:Type -> Type,~effects:E.Effects<F>,~provider:GeneralProvider(~S,~WC,~C,~R,~F),~Ops:Type -> Type,~selection:QuerySelection(~S,~WC,~C,~R,~F,~State.Scope<S,C,R>,~Book,~Ops),book:Book) -> Book & Ops(State.Scope<S,C,R>):
  selection(query_build(~S,~C,~R),output_query_build(~S,~C,~R),sequential_output_query_build(~S,~C,~R,~F,~effects),general_build(~S,~WC,~C,~R,~F,~provider),general_output_build(~S,~WC,~C,~R,~F,~provider),sequential_general_build(~S,~WC,~C,~R,~F,~provider),book)

Uses (12):
  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.3/execution_builder.bend&name=Book
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=GeneralProvider
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=QuerySelection
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=general_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=general_output_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=output_query_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=query_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=sequential_general_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=sequential_output_query_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&name=Effects
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=Scope