ExecutionRelationFailureProvider.view_reader: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_relation_failure_provider.bend as ExecutionRelationFailureProvider
Lines 25-27 of bendvy-ecs-core@0.1.0.3/execution_relation_failure_provider.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_relation_failure_provider.bend&start_line=25&end_line=27

import Base
import bendvy-ecs-core@0.1.0.3/execution_relation_store.bend as Store
import bendvy-ecs-core@0.1.0.3/relation_types.bend as T
import bendvy-ecs-core@0.1.0.3/execution_resource_access.bend as ResourceAccess

def view_reader(~S:Data,~descriptor:T.Descriptor<S>,~H:Type,~V:Data,view:{V == Store.View<S,descriptor> : Data},cap:ResourceAccess.Reader<H,V>) -> ResourceAccess.Reader<H,Store.View<S,descriptor>>:
  %view : ResourceAccess.Reader<H,_>
  cap

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_relation_store.bend&name=View
  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/relation_types.bend&name=Descriptor