OrdinaryCheckedBindings.with_right: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend as OrdinaryCheckedBindings
Lines 31-34 of bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_bindings.bend&start_line=31&end_line=34

import Base

def with_right(~World:Type,~Left:Type,~Right:Type,right:Right,value:Selection<World,Left>) -> Selection<World,Left & Right>:
  match value:
    case Selected{world,left,result}:Selected{world,(left,right),result}
    case Unbound{world,left}:Unbound{world,(left,right)}

Uses (3):
  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.4/ordinary_checked_bindings.bend&name=Selection