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

import Base

# Read/replace capability for a Data view V and potentially affine input C.
# set consumes C and returns H; no automatic refusal receipt is added here.
type ValueWrite<-H: Type,-C: Type,-V: Data> is Type:
  ValueWrite{get: H -> H & V,set: H -> C -> H}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair