def list_len
import unified-nsga-iii@0.2.2.0/util.bend as Utilimport Base
7def list_len(-A: Data, xs: List<&2, A>) -> Nat:
8 List.length(&2, A, xs)
import unified-nsga-iii@0.2.2.0/util.bend as Utilimport Base
7def list_len(-A: Data, xs: List<&2, A>) -> Nat:
8 List.length(&2, A, xs)