def front0

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

import Base

341def front0(fronts: List<&2, List<&2, Nat>>) -> List<&2, Nat>:
342  match fronts:
343    case Nil{}:
344      Nil{}
345    case h <> t:
346      h