def dispose_returned
bendvy-ecs-core@0.1.0.4 · system.bend:119
import bendvy-ecs-core@0.1.0.4/system.bend as System
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
119def dispose_returned(~S: Data,~C: Type,~R: Type,~E: Data,~Args: Type,~Error: Data,~Output: Type,~runner: W.World<S,C,R,E> -> Args -> Outcome<W.World<S,C,R,E>,Error,Output>,registry: Registry<S,C,R,E,Args,Error,Output,runner>,observed: W.World<S,C,R,E> & Bool) -> Disposal<S,C,R,E,Args,Error,Output,runner>:
120 match observed:
121 case (world,True{}): Disposed{world}
122 case (world,False{}): DisposalRejected{world,registry}