ExecutionCommandPermission.no_selection: 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 43-44 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=43&end_line=44

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_relation_resource_dispatch.bend as Dispatch
import bendvy-ecs-core@0.1.0.3/execution_relation_resource_snapshot.bend as Snapshot
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_resource_dispatch.bend as ScopeDispatch

def no_selection(~S:Data,~resources:Layout.Layout) -> Selection<S,resources>:
  Selection{Dispatch.empty(~S,~resources),Snapshot.empty(~S,~resources),ScopeDispatch.empty(~S,~resources),Unprovisioned{}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_permission.bend&name=CleanupSelection
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_permission.bend&name=Selection
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_resource_dispatch.bend&name=empty
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_relation_resource_dispatch.bend&name=empty
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_relation_resource_snapshot.bend&name=empty