OrdinaryAppExistingExecution.invoked: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend as OrdinaryAppExistingExecution
Lines 34-37 of bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend&start_line=34&end_line=37

import Base
import bendvy-ecs-core@0.1.0.4/execution_context.bend as Ctx
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

def invoked(~S:Data,~World:Type,~O:Type,~Shared:Type,~Error:Data,~invoke:O -> Shared -> Ctx.Context<World> -> O & (Shared & Sys.Outcome<Ctx.Context<World>,Error,Unit>),~refused:Error,allowed:Bool,owner:O,shared:Shared,context:Ctx.Context<World>) -> (O & Shared) & Sys.Outcome<Ctx.Context<World>,Error,Unit>:
  match allowed:
    case False{}:((owner,shared),Sys.Failed{context,refused})
    case True{}:returned(~World,~O,~Shared,~Error,invoke(owner,shared,context))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/execution_context.bend&name=Context
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend&name=returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&name=Outcome