ExecutionState.reserve_allowed: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState
Lines 52-55 of bendvy-ecs-core@0.1.0.3/execution_state.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&start_line=52&end_line=55

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 A

def reserve_allowed(-S:Data,allowed:Bool,invocation:Invocation<S>) -> Invocation<S> & W.Reservation<S>:
  match allowed invocation:
    case False{} invocation:(invocation,W.ReservationRejected{W.ReservationUnauthorized{}})
    case True{} Invocation{namespace,allocator,authorized,permit}:reserved(S,namespace,authorized,permit,A.reserve(allocator))

Uses (8):
  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=reserve
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=Invocation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=reserved
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Reservation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=WorldError