def argmin_dist

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

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

479def argmin_dist(+asgs: List<&2, Assignment>, cand: List<&2, Nat>) -> Nat:
480  match cand:
481    case Nil{}:
482      0n
483    case +i <> +rest:
484      +xs = {i <> rest : List<&2, Nat>}
485      argmin_dist.go(asgs, Util.list_len(Nat, xs), xs)