def drop_nrow

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

import Base

108def drop_nrow(rows: List<&2, NRow>, +pick: Nat) -> List<&2, NRow>:
109  match rows:
110    case Nil{}:
111      Nil{}
112    case +row <> rest:
113      drop_nrow.put(row, drop_nrow(rest, pick), Nat.is_eq(nrow_i(row), pick))