def head_len

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

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

351def head_len(fronts: List<&2, List<&2, Nat>>) -> Nat:
352  match fronts:
353    case Nil{}:
354      0n
355    case h <> t:
356      Util.list_len(Nat, h)