Check.resource_grant: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/check.bend as Check
Lines 69-73 of bendvy-ecs-core@0.1.0.3/check.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&start_line=69&end_line=73

import Base
import capabilities.bend as Cap

# Build read-only access to a detached resource Data view. project threads
# affine R back unchanged in ownership; no replacement or event-read grant
# is provided and no resource projection runs during declaration construction.
def resource_grant(~S:Data,~Store:Type,~R:Type,~E:Data,~V:Data,~project:R -> R & V) -> Cap.ValueRead<Frame<S,Store,R,E>,V>:
  Cap.ValueRead{frame => resource_read(~S,~Store,~R,~E,~V,~project,frame)}

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/capabilities.bend&name=ValueRead
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/check.bend&name=resource_read