def zeros_nat
import unified-nsga-iii@0.2.2.0/util.bend as Utilimport Base
100def zeros_nat(n: Nat) -> List<&2, Nat>:
101 List.replicate(Nat, n, 0n)
import unified-nsga-iii@0.2.2.0/util.bend as Utilimport Base
100def zeros_nat(n: Nat) -> List<&2, Nat>:
101 List.replicate(Nat, n, 0n)