ExecutionState.reserve_invocation: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState
Lines 56-58 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=56&end_line=58

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend as Authority

def reserve_invocation(-S:Data,invocation:Invocation<S>) -> Invocation<S> & W.Reservation<S>:
  match invocation:
    case Invocation{+namespace,allocator,+authorized,+permit}:reserve_allowed(S,Authority.admitted(permit,namespace,authorized),Invocation{namespace,allocator,authorized,permit})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend&name=admitted
  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=reserve_allowed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Reservation