def min_count

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

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

386def min_count(+counts: List<&2, Nat>, refs: List<&2, Nat>, acc: Nat) -> Nat:
387  match refs:
388    case Nil{}:
389      acc
390    case +r <> +rs:
391      +xs = {r <> rs : List<&2, Nat>}
392      Util.nat_min(acc, min_count.go(counts, Util.list_len(Nat, xs), xs))