ExecutionState.Invocation: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState
Lines 11-12 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=11&end_line=12

import Base
import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as A
import bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend as Authority

type Invocation<-S:Data> is Type:
  Invocation{namespace:U32,allocator:A.Allocator,admitted:Maybe<&2,U32>,permit:Authority.Permit}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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_reservation_authority.bend&name=Permit