def nd_mixed.use

unified-nsga-iii@0.2.2.0 · normalization.bend:571

import Base

571def nd_mixed.use(pool: List<&2, Nat>, kept: List<&2, Nat>) -> List<&2, Nat>:
572  match kept:
573    case Nil{}:
574      pool
575    case a <> b:
576      a <> b