ExecutionMachineAccess.request_field: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_machine_access.bend as ExecutionMachineAccess
Lines 66-68 of bendvy-ecs-core@0.1.0.3/execution_machine_access.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_access.bend&start_line=66&end_line=68

import Base
import bendvy-ecs-core@0.1.0.3/machine.bend as M

def request_field(~S:Data,~K:Data,~V:Data,~H:Type,cap:Write<S,K,V,H>) -> M.QueueInput<V> -> H -> H & Unit:
  match cap:
    case Write{_,request}:request

Uses (4):
  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_access.bend&name=Write
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine.bend&name=QueueInput