def request

bendvy-ecs-core@0.1.0.3 · execution_state.bend:59

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

59def request(~S:Data,token:Authority.Granted,invocation:Invocation<S>) -> Invocation<S> & W.Reservation<S>:
60  match token:
61    case Authority.Granted{}:reserve_invocation(S,invocation)

Uses (5)

Used by (3)