~/jendhub

def in_ref_rows

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

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

150def in_ref_rows(+r: Nat, rows: List<&2, NRow>) -> List<&2, NRow>:
151  match rows:
152    case Nil{}:
153      Nil{}
154    case +row <> rest:
155      Util.keep_if(NRow, row, in_ref_rows(r, rest), Nat.is_eq(nrow_r(row), r))

Uses (6)

Used by (1)