def verdict

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

import Base

75# Minimization: 0n = mutual non-domination, 1n = a dominates b, 2n = b dominates a.
76def verdict(ab: Bool, bb: Bool) -> Nat:
77  match ab:
78    case True{}:
79      verdict.a(bb)
80    case False{}:
81      verdict.b(bb)