~/jendhub

def insert_row

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

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

1056def insert_row(+x: CvRow, +xs: List<&2, CvRow>) -> List<&2, CvRow>:
1057  insert_row.go(Nat.add(1n, Nat.mul(2n, Util.list_len(CvRow, xs))), 0n, False{}, x, xs, x)

Uses (7)

Used by (1)