def get_nat
import unified-nsga-iii@0.2.2.0/util.bend as Utilimport Base
94def get_nat(xs: List<&2, Nat>, i: Nat) -> Nat:
95 Maybe.default(&2, Nat, List.get(&2, Nat, xs, i), 0n)
import unified-nsga-iii@0.2.2.0/util.bend as Utilimport Base
94def get_nat(xs: List<&2, Nat>, i: Nat) -> Nat:
95 Maybe.default(&2, Nat, List.get(&2, Nat, xs, i), 0n)