def nrow_i
import unified-nsga-iii@0.2.2.0/survival.bend as Survivalimport Base
65def nrow_i(row: NRow) -> Nat:
66 match row:
67 case NRow{i, r, d}:
68 i
import unified-nsga-iii@0.2.2.0/survival.bend as Survivalimport Base
65def nrow_i(row: NRow) -> Nat:
66 match row:
67 case NRow{i, r, d}:
68 i