ExecutionReservationAuthority.Permit: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend as ExecutionReservationAuthority
Lines 11-13 of bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend&start_line=11&end_line=13

import Base

type Permit is Data:
  Authorized{namespace:U32,id:U32}
  Unauthorized{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32