ExecutionMachineAccess.checked_write: 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 35-38 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=35&end_line=38

import Base
import bendvy-ecs-core@0.1.0.3/execution_machine_state.bend as State
import bendvy-ecs-core@0.1.0.3/execution_access.bend as A

def checked_write(-S:Data,-K:Data,-V:Data,-H:Type,-P:Type,-View:Data,payload:{P == State.Cell<S,K,V> : Type},view:{View == State.View<S,K,V> : Data},cap:A.ResourceWrite<H,P,View>) -> A.ResourceWrite<H,State.Cell<S,K,V>,State.View<S,K,V>>:
  %payload : A.ResourceWrite<H,_,State.View<S,K,V>>
  %view : A.ResourceWrite<H,P,_>
  cap

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_access.bend&name=ResourceWrite
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_state.bend&name=Cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_state.bend&name=View