Capabilities.Write: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities
Lines 10-14 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=10&end_line=14

import Base
import component.bend as Cmp

# Component read/replacement capability. set consumes payload C and returns
# H; it does not itself return rejected C. The bound operation defines error
# recording and rollback. Raw constructors are trusted operation adapters.
type Write<-H: Type,-C: Type,-V: Data> is Type:
  Write{get: H -> H & Cmp.Access<V>,set: H -> C -> H}

Uses (2):
  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/component.bend&name=Access