ExecutionMachineComponent.move_field: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_machine_component.bend as ExecutionMachineComponent
Lines 41-43 of bendvy-ecs-core@0.1.0.3/execution_machine_component.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_component.bend&start_line=41&end_line=43

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/state.bend as State

def move_field(~S:Data,~K:Data,~H:Type,~V:Data,~Move:Data,cap:Operations<S,K,V,Move,H>) -> H -> W.Handle<S> -> Move -> H & State.Outcome<V,Unit>:
  match cap:
    case Operations{move}:move

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_component.bend&name=Operations
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle