def reserve_invocation
bendvy-ecs-core@0.1.0.3 · execution_state.bend:56
import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState
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
56def reserve_invocation(-S:Data,invocation:Invocation<S>) -> Invocation<S> & W.Reservation<S>:
57 match invocation:
58 case Invocation{+namespace,allocator,+authorized,+permit}:reserve_allowed(S,Authority.admitted(permit,namespace,authorized),Invocation{namespace,allocator,authorized,permit})