def first_row_i

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

import Base

91def first_row_i(rows: List<&2, NRow>) -> Nat:
92  match rows:
93    case Nil{}:
94      0n
95    case +row <> _:
96      nrow_i(row)