Feature.run: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/feature.bend as Feature
Lines 177-180 of bendvy-ecs-core@0.1.0.3/feature.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&start_line=177&end_line=180

import Base

def run(-Root:Type,-Provisions:Type,-Out:Data,invoke:Root -> Root & Out,application:Application<Root,Provisions>) -> Application<Root,Provisions> & Report<Out>:
  match application:
    case Application{root,provisions,Some{+error}}:(Application{root,provisions,Some{error}},Refused{error})
    case Application{root,provisions,None{}}:returned(Root,Provisions,Out,provisions,invoke(root))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/feature.bend&name=Application
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=Report
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/feature.bend&name=returned