Removals.disposal_result: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/removals.bend as Removals
Lines 113-116 of bendvy-ecs-core@0.1.0.4/removals.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&start_line=113&end_line=116

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

def disposal_result(~S: Data,~C: Type,~R: Type,~E: Data,~F: Data,~select: E -> Maybe<&2,Record<S,F>>,reader: Reader<S,E,F,select>,result: W.World<S,C,R,E> & Bool) -> Disposal<S,C,R,E,F,select>:
  match result:
    case (world,False{}): DisposalRejected{world,reader}
    case (world,True{}): disposal_collected(~S,~C,~R,~E,~F,~select,collected(~S,~C,~R,~E,(world,True{})))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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.4/removals.bend&name=Disposal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=Record
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=collected
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=disposal_collected
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World