def select_idx
unified-nsga-iii@0.2.2.0 · survival.bend:1111
import unified-nsga-iii@0.2.2.0/survival.bend as Survival
import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind
import unified-nsga-iii@0.2.2.0/util.bend as Util
1111def select_idx(+combined: List<&2, Ind.Individual>, +target_size: Nat, +dirs: List<&2, List<&2, F32>>) -> List<&2, Nat>:
1112 +n = Util.list_len(Ind.Individual, combined)
1113 +want = Util.nat_min(target_size, n)
1114 size_lock(select_idx.by(combined, target_size, dirs, Nat.is_le(n, target_size)), want, n)