RelationFailureDisposal.Disposal: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/relation_failure_disposal.bend as RelationFailureDisposal
Lines 8-12 of bendvy-ecs-core@0.1.0.4/relation_failure_disposal.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_disposal.bend&start_line=8&end_line=12

import Base
import relation_failure_runtime.bend as K
import world.bend as W
import system.bend as Sy

# Supplemental owned Bend contract: pinned TS has no public unregister method.
# Release stream membership only after actual successful Sy.dispose.
type Disposal<S: Data,C: Type,R: Type,E: Data,A: Type,Error: Data,O: Type,-runner: W.World<S,C,R,E> -> K.Input<S,E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>> is Type:
  ReaderDisposed{runtime: K.Runtime<S,C,R,E>}
  ReaderDisposalRejected{runtime: K.Runtime<S,C,R,E>,reader: K.Reader<S,C,R,E,A,Error,O,runner>}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend&name=Input
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend&name=Runtime
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World