ExecutionBuilder.provision: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_builder.bend as ExecutionBuilder
Lines 200-201 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=200&end_line=201

import Base
import bendvy-ecs-core@0.1.0.3/execution_state_effect.bend as StateEffect
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State

def provision(~S:Data,~WC:Type,~C:Type,~R:Type,~Permit:Data,~Ops:Data -> (Type -> Type) -> Type -> Type,~selection:Selection(~S,~WC,~C,~R,~Permit,~StateEffect.Transition(~State.Invocation<S>),~State.Scope<S,C,R>,~Book,~Ops),book:Book) -> Book & Ops(Permit,StateEffect.Transition(~State.Invocation<S>),State.Scope<S,C,R>):
  selection(component_read_build(~S,~C,~R),component_write_build(~S,~C,~R),resource_read_provision(~S,~C,~R),resource_write_provision(~S,~C,~R),query_provision(~S,~WC,~C,~R,~StateEffect.Transition(~State.Invocation<S>),~StateEffect.dictionary(~State.Invocation<S>)),lifecycle_provision(~S,~WC,~C,~R),book)

Uses (13):
  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=Selection
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=component_read_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=component_write_build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=lifecycle_provision
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=query_provision
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=resource_read_provision
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_builder.bend&name=resource_write_provision
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=Invocation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=Scope
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state_effect.bend&name=Transition
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state_effect.bend&name=dictionary