def refs_at

unified-nsga-iii@0.2.2.0 · survival.bend:423

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

423def refs_at(+counts: List<&2, Nat>, +need: Nat, refs: List<&2, Nat>) -> List<&2, Nat>:
424  Util.filter_halves(~Nat, ~CntNeed, ~refs_at.ok, CN{counts, need}, refs)