def nrow_i

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

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

65def nrow_i(row: NRow) -> Nat:
66  match row:
67    case NRow{i, r, d}:
68      i

Uses (2)

Used by (8)