def row_idxs

unified-nsga-iii@0.2.2.0 · non_dominated_sort.bend:54

import Base

54def row_idxs(rs: List<&2, Row>) -> List<&2, Nat>:
55  match rs:
56    case Nil{}:
57      Nil{}
58    case +r <> t:
59      row_idx(r) <> row_idxs(t)