ExecutionQuery.invoke_targets: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query.bend as ExecutionQuery
Lines 51-54 of bendvy-ecs-core@0.1.0.3/execution_query.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query.bend&start_line=51&end_line=54

import Base
import bendvy-ecs-core@0.1.0.3/execution_query_identity.bend as Index
import bendvy-ecs-core@0.1.0.3/execution_query_domain.bend as Domain
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Col
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product

def invoke_targets(~S:Data,~C:Type,~R:Type,~A:Type,~B:Type,~Rest:Type,~V:Data,~E:Data,~lens:Product.Lens<C,Product.Owner<Col.Column<S,A>,Col.Column<S,B>>,Rest>,~project:A -> A & V,~body:U32 -> V -> B -> B & Maybe<&2,E>,mode:Mode,scope:State.Scope<S,C,R>,targets:Index.TargetCheck<S>) -> State.Scope<S,C,R> & Report<E>:
  match scope targets:
    case State.Scope{store,resource,handles,tick,prior,+lifecycleView} Index.Targets{_,Domain.Domain{selected}}: taken(~S,~C,~R,~A,~B,~Rest,~V,~E,~lens,~project,~body,mode,resource,handles,tick,prior,selected,Product.get_field(~C,~Product.Owner<Col.Column<S,A>,Col.Column<S,B>>,~Rest,lens)(store),lifecycleView)
    case scope Index.Refused{_}:(scope,LayoutRefused{})

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query.bend&name=Report
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query.bend&name=taken
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_domain.bend&name=Domain
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_identity.bend&name=TargetCheck
  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/owner_product.bend&name=Lens
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=get_field