def front_index_count

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

import Base
import unified-nsga-iii@0.2.2.0/util.bend as Util

278def front_index_count(fronts: List<&2, List<&2, Nat>>) -> Nat:
279  match fronts:
280    case Nil{}:
281      0n
282    case h <> t:
283      Nat.add(Util.list_len(Nat, h), front_index_count(t))