OrdinaryConditionComposition.bound_selected: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition
Lines 121-124 of bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&start_line=121&end_line=124

import Base

def bound_selected(~World:Type,~Owner:Type,~evaluate:Owner -> World -> Evaluation<World,Owner>,chosen:Bool,id:U32,owner:Owner,world:World) -> Evaluation<World,BoundOwner<Owner>>:
  match chosen:
    case False{}:NoBinding{world,BoundOwner{id,owner}}
    case True{}:bound_returned(~World,~Owner,id,evaluate(owner,world))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=BoundOwner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=Evaluation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=bound_returned