def min_idx_ne

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

import Base

433def min_idx_ne(xs: List<&2, Nat>) -> Nat:
434  match xs:
435    case Nil{}:
436      0n
437    case x <> rest:
438      min_idx(rest, x)