ExecutionInspector.resource_grant: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_inspector.bend as ExecutionInspector
Lines 16-18 of bendvy-ecs-core@0.1.0.3/execution_inspector.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_inspector.bend&start_line=16&end_line=18

import Base
import bendvy-ecs-core@0.1.0.3/capabilities.bend as Cap

def resource_grant(~H:Type,~V:Data,value:Resource<H,V>) -> Cap.ValueRead<H,V>:
  match value:
    case Resource{read,_}:read

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=ValueRead
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_inspector.bend&name=Resource