def dominates.fin

unified-nsga-iii@0.2.2.0 · non_dominated_sort.bend:148

import Base

148def dominates.fin(c: Nat) -> Bool:
149  match c:
150    case 0n:
151      False{}
152    case 1n+p:
153      dominates.is1(p)