State.observed: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/state.bend as State
Lines 23-27 of bendvy-ecs-core@0.1.0.3/state.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&start_line=23&end_line=27

import Base
import capabilities.bend as Cap
import component.bend as C

def observed(~H: Type,~Value: Data,~WriteError: Data,~equal: Value -> Value -> Bool,~write: Cap.Request<H,Value,WriteStatus<WriteError>>,+expected: Value,+target: Value,pair: H & C.Access<Value>) -> H & Outcome<Value,WriteError>:
  match pair:
    case (owner,C.Found{+actual}): apply(~H,~Value,~WriteError,~write,expected,target,actual,owner,equal(actual,expected))
    case (owner,C.ComponentAbsent{}): (owner,StateAccessRejected{C.ComponentAbsent{}})
    case (owner,C.MissingEntity{}): (owner,StateAccessRejected{C.MissingEntity{}})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/component.bend&name=Access
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&name=WriteStatus
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/state.bend&name=apply