~/jendhub

def min_idx_rows.go

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

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

188def min_idx_rows.go(rows: List<&2, NRow>, +acc: Nat) -> Nat:
189  match rows:
190    case Nil{}:
191      acc
192    case +row <> rest:
193      min_idx_rows.go(rest, Util.nat_min(acc, nrow_i(row)))

Uses (5)

Used by (1)