def resource_grant

bendvy-ecs-core@0.1.0.3 · execution_inspector.bend:16

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

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