def argmin_dist_rows

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

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

import Base

166def argmin_dist_rows(rows: List<&2, NRow>) -> Nat:
167  match rows:
168    case Nil{}:
169      0n
170    case +row <> rest:
171      argmin_dist_rows.go(rest, nrow_i(row), nrow_d(row))

Uses (6)

Used by (2)