ExecutionResourceAccess.Writer: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_resource_access.bend as ExecutionResourceAccess
Lines 8-10 of bendvy-ecs-core@0.1.0.3/execution_resource_access.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_resource_access.bend&start_line=8&end_line=10

import Base
import bendvy-ecs-core@0.1.0.3/execution_resource_store.bend as Store
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

type Writer<-H:Type,-P:Type,-V:Data> is Type:
  Writer{read:Reader<H,V>,own:@-Out:Type -> H -> (P -> P & Out) -> H & Store.Edit<P,Out>,own_at:@-Out:Type -> H -> (Tick.Tick -> P -> P & Out) -> H & Store.Edit<P,Out>}
  UnsupportedWriter{}

Uses (4):
  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/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_resource_access.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_resource_store.bend&name=Edit