Tournament.parents_loop: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/tournament.bend as Tournament
Lines 177-182 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=177&end_line=182

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

def parents_loop(fuel: Nat, hold: PHold, +mode: Mode, +pop: List<&2, Ind.Individual>) -> Rng.State & List<&2, Ind.Individual>:
  match fuel hold:
    case 0n PH{rng, acc}:
      (rng, List.reverse(&2, Ind.Individual, acc))
    case 1n+f h:
      parents_loop(f, parents_next(mode, pop, h), mode, pop)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=Mode
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/tournament.bend&name=PHold
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/tournament.bend&name=parents_next