def inc_at

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

import Base

97def inc_at(+xs: List<&2, Nat>, +i: Nat) -> List<&2, Nat>:
98  List.set(&2, Nat, xs, i, 1n+get_nat(xs, i))

Uses (4)