~/jendhub

def drop_mrow

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

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

846def drop_mrow(ms: List<&2, MRow>, +pick: Nat) -> List<&2, MRow>:
847  match ms:
848    case Nil{}:
849      Nil{}
850    case MRow{+pos, +row} <> rest:
851      drop_mrow.put(MRow{pos, row}, drop_mrow(rest, pick), Nat.is_eq(nrow_i(row), pick))

Uses (6)

Used by (1)