Tournament.winner_rnd.cv: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/tournament.bend as Tournament
Lines 125-131 of unified-nsga-iii@0.2.2.0/tournament.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/tournament.bend&start_line=125&end_line=131

import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind
import unified-nsga-iii@0.2.2.0/rng.bend as Rng

# Both infeasible. Equal CV falls through to rank (not a coin, not Pareto).
def winner_rnd.cv(+a: Ind.Individual, +b: Ind.Individual, rng: Rng.State, a_lt: Bool, b_lt: Bool) -> Rng.State & Ind.Individual:
  match a_lt:
    case True{}:
      (rng, a)
    case False{}:
      winner_rnd.cv_b(a, b, rng, b_lt)

Uses (6):
  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=unified-nsga-iii@0.2.2.0/individual.bend&name=Individual
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/rng.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/tournament.bend&name=winner_rnd.cv_b