ExecutionResourceStore.Edit: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_resource_store.bend as ExecutionResourceStore
Lines 7-9 of bendvy-ecs-core@0.1.0.3/execution_resource_store.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_resource_store.bend&start_line=7&end_line=9

import Base

type Edit<-P:Type,-Out:Type> is Type:
  Edited{output:Out}
  Unchanged{unused:P -> P & Out}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair