def n_obj_pop

unified-nsga-iii@0.2.2.0 · normalization.bend:171

import unified-nsga-iii@0.2.2.0/normalization.bend as Normalization

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

171def n_obj_pop(pop: List<&2, Ind.Individual>) -> Nat:
172  match pop:
173    case Nil{}:
174      0n
175    case ind <> rest:
176      Ind.n_obj(ind)

Uses (4)

Used by (3)