ExecutionGeneralizedCommandLeaf.defined: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend as ExecutionGeneralizedCommandLeaf
Lines 26-29 of bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend&start_line=26&end_line=29

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/execution_command_system.bend as Cmd
import bendvy-ecs-core@0.1.0.3/execution_system.bend as Sys
import bendvy-ecs-core@0.1.0.3/world.bend as W

def defined(~S:Data,~components:L.Layout,~resources:L.Layout,~E:Data,~route:L.Route,~Ops:Data -> (Type -> Type) -> Type -> Type -> Type,~User:Type,~Error:Data,~Out:Data,~declaration:Cmd.Program(~S,~L.columns(~S,components),~L.resources(~S,resources),~components,~resources,~route,~Ops),~body:Cmd.Body(~S,~components,~resources,~route,~Ops,~User,~Error,~Out),result:Compilation(~S,~components,~resources,~route,~Ops) & Sys.Defined<W.World<S,L.columns(~S,components),L.resources(~S,resources),E>,Cmd.System(~S,~L.columns(~S,components),~L.resources(~S,resources),~E,~components,~resources,~route,~Ops,~User,~Error,~Out,~declaration,~body),Cmd.Captures(~S,~components,~resources,~route,~User)>) -> Compilation(~S,~components,~resources,~route,~Ops) & Sys.Defined<W.World<S,L.columns(~S,components),L.resources(~S,resources),E>,Owner(~S,~components,~resources,~E,~route,~Ops,~User,~Error,~Out,~declaration,~body),Cmd.Captures(~S,~components,~resources,~route,~User)>:
  match result:
    case (compilation,Sys.Defined{world,system}):(compilation,Sys.Defined{world,Cmd.Owner{system}})
    case (compilation,Sys.DefinitionRefused{world,local}):(compilation,Sys.DefinitionRefused{world,local})

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=Body
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=Captures
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=Program
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=System
  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_composer_layout.bend&name=Route
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=columns
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=resources
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend&name=Compilation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_system.bend&name=Defined
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World