ExecutionLifetimeScopeStore.forgotten: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend as ExecutionLifetimeScopeStore
Lines 68-71 of bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&start_line=68&end_line=71

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as Allocator

def forgotten(~S:Data,allowed:Bool,allocator:Allocator.Allocator,store:Store<S>,+handle:W.Handle<S>) -> Allocator.Allocator & (Store<S> & Outcome<S>):
  match allowed:
    case False{}:(allocator,(store,Refused{Forget{handle}}))
    case True{}:(allocator,(removed(~S,store,W.handle_key(~S,handle)),Forgotten{handle}))

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=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.3/entity_allocator.bend&name=Allocator
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Store
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=removed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=handle_key