NonDominatedSort.dominates: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/non_dominated_sort.bend as NonDominatedSort
Lines 155-158 of unified-nsga-iii@0.2.2.0/non_dominated_sort.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/non_dominated_sort.bend&start_line=155&end_line=158

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

# Pareto only. Irreflexivity is closed in PROOF.bend on this predicate.
# `sort` uses compare_cd, not this function.
def dominates(a: Ind.Individual, b: Ind.Individual) -> Bool:
  dominates.fin(compare_pareto(Ind.objectives(a), Ind.objectives(b)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/individual.bend&name=objectives
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/non_dominated_sort.bend&name=compare_pareto
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/non_dominated_sort.bend&name=dominates.fin