~/jendhub

def min_count_rows.go

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

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

133def min_count_rows.go(+counts: List<&2, Nat>, rows: List<&2, NRow>, +acc: Nat) -> Nat:
134  match rows:
135    case Nil{}:
136      acc
137    case +row <> rest:
138      min_count_rows.go(counts, rest, Util.nat_min(acc, Util.get_nat(counts, nrow_r(row))))

Uses (6)

Used by (1)