Capabilities.get: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities
Lines 66-69 of bendvy-ecs-core@0.1.0.3/capabilities.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&start_line=66&end_line=69

import Base
import component.bend as Cmp

# Read the detached view through a write-capable component grant, returning
# H and Access<V>. Does not consume or expose the stored affine C.
def get(~H: Type,~C: Type,~V: Data,~cap: Write<H,C,V>,ctx: H) -> H & Cmp.Access<V>:
  write_read_field(~H,~C,~V,cap)(ctx)

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=Write
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=write_read_field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/component.bend&name=Access