FeatureProvision.read: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/feature_provision.bend as FeatureProvision
Lines 6-9 of bendvy-ecs-core@0.1.0.4/feature_provision.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/feature_provision.bend&start_line=6&end_line=9

import Base
import bendvy-ecs-core@0.1.0.4/component.bend as C
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

# Trusted schema author closes the getter; universal gameplay receives only H.
def read(-H:Type,-V:Data,cap:Cap.Read<H,V>,ctx:H) -> H & C.Access<V>:
  match cap:
    case Cap.Read{get}: get(ctx)

Uses (3):
  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.4/capabilities.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/component.bend&name=Access