def rank
import unified-nsga-iii@0.2.2.0/individual.bend as Individualimport Base
71def rank(ind: Individual) -> Nat:
72 match ind:
73 case MkIndividual{x, f, g, cv, rnk, nic, ar, pd, ev, lnk}:
74 rnk
import unified-nsga-iii@0.2.2.0/individual.bend as Individualimport Base
71def rank(ind: Individual) -> Nat:
72 match ind:
73 case MkIndividual{x, f, g, cv, rnk, nic, ar, pd, ev, lnk}:
74 rnk