~/jendhub

def min_idx_rows

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

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

195def min_idx_rows(rows: List<&2, NRow>) -> Nat:
196  match rows:
197    case Nil{}:
198      0n
199    case +row <> rest:
200      min_idx_rows.go(rest, nrow_i(row))

Uses (5)

Used by (1)