State.transition: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/state.bend as State
Lines 33-34 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=33&end_line=34

import Base
import capabilities.bend as Cap

def transition(~H: Type,~Value: Data,~Move: Data,~WriteError: Data,~equal: Value -> Value -> Bool,~endpoints: Move -> Value & Value,~read: Cap.Read<H,Value>,~write: Cap.Request<H,Value,WriteStatus<WriteError>>,owner: H,move: Move) -> H & Outcome<Value,WriteError>:
  with_endpoints(~H,~Value,~WriteError,~equal,~read,~write,owner,endpoints(move))

Uses (7):
  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=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=Read
  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/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=with_endpoints