SystemInstance.dispose: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/system_instance.bend as SystemInstance
Lines 22-25 of bendvy-ecs-core@0.1.0.4/system_instance.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/system_instance.bend&start_line=22&end_line=25

import Base
import world.bend as W
import system.bend as Sys
import system_cleanup.bend as Cleanup

# Callers supply only their actual instance and world; no runtime metadata callbacks.
def dispose(~S: Data,~C: Type,~R: Type,~E: Data,~Args: Type,~Error: Data,~Output: Type,~run: W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Output>,~Ports: Type,~validate: Ports -> U32 -> U32 -> Ports & Bool,~remove: W.World<S,C,R,E> -> Ports -> W.World<S,C,R,E>,instance: Instance<S,C,R,E,Args,Error,Output,run,Ports,validate,remove>,world: W.World<S,C,R,E>) -> Disposal<S,C,R,E,Args,Error,Output,run,Ports,validate,remove>:
  match instance:
    case Instance{owned}: disposed(~S,~C,~R,~E,~Args,~Error,~Output,~run,~Ports,~validate,~remove,Cleanup.cleanup(~S,~C,~R,~E,~Args,~Error,~Output,~run,~Ports,~validate,~remove,owned,world))

Uses (9):
  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=U32
  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/system_cleanup.bend&name=cleanup
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system_instance.bend&name=Disposal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system_instance.bend&name=Instance
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system_instance.bend&name=disposed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World