ExecutionCommandPermission.spawn_field: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as ExecutionCommandPermission
Lines 142-145 of bendvy-ecs-core@0.1.0.3/execution_command_permission.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_permission.bend&start_line=142&end_line=145

import Base
import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as Buffer
import bendvy-ecs-core@0.1.0.3/execution_command_removed.bend as Removed
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

# Only a declaration that consumed the structural grant can obtain this field.
def spawn_field(~Q:Type,~S:Data,~layout:Layout.Layout,~Permit:Data,~F:Type -> Type,commands:EntityCommands<Q,S,layout,Permit,F>) -> Q -> Removed.Removed(layout) -> F(Q & Buffer.SpawnAdmission<S,Removed.Removed(layout)>):
  match commands:
    case EntityCommands{_,spawn}:spawn

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_command_buffer.bend&name=SpawnAdmission
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_permission.bend&name=EntityCommands
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_removed.bend&name=Removed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout