def winner_rnd.cv_b

unified-nsga-iii@0.2.2.0 · tournament.bend:118

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

118def winner_rnd.cv_b(+a: Ind.Individual, +b: Ind.Individual, rng: Rng.State, b_lt: Bool) -> Rng.State & Ind.Individual:
119  match b_lt:
120    case True{}:
121      (rng, b)
122    case False{}:
123      winner_rnd.eq(a, b, rng, Nat.is_eq(Ind.rank(a), Ind.rank(b)))