Survival.row_before: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/survival.bend as Survival
Lines 1025-1030 of unified-nsga-iii@0.2.2.0/survival.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/survival.bend&start_line=1025&end_line=1030

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

def row_before(a: CvRow, b: CvRow) -> Bool:
  match a b:
    case CvRow{i, ind} CvRow{j, other}:
      +ca = Ind.constraint_violation(ind)
      +cb = Ind.constraint_violation(other)
      Bool.or(F32.is_lt(ca, cb), Bool.and(F32.is_eq(ca, cb), Bool.not(Nat.is_le(j, i))))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/individual.bend&name=constraint_violation
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/survival.bend&name=CvRow