def refs_at_seq

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

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

143def refs_at_seq(+counts: List<&2, Nat>, +need: Nat, refs: List<&2, Nat>) -> List<&2, Nat>:
144  match refs:
145    case Nil{}:
146      Nil{}
147    case +r <> rest:
148      keep_nat(r, refs_at_seq(counts, need, rest), Nat.is_eq(Util.get_nat(counts, r), need))