def niche
import unified-nsga-iii@0.2.2.0/individual.bend as Individualimport Base
100def niche(ind: Individual) -> Nat:
101 match ind:
102 case MkIndividual{x, f, g, cv, rnk, nic, ar, pd, ev, lnk}:
103 nic
import unified-nsga-iii@0.2.2.0/individual.bend as Individualimport Base
100def niche(ind: Individual) -> Nat:
101 match ind:
102 case MkIndividual{x, f, g, cv, rnk, nic, ar, pd, ev, lnk}:
103 nic