def sub_at
import bend-collections-laws-crypto@1.0.0.0/spec/math/random/chacha8rand.bend as Chacha8randimport Base
119def sub_at(+x: List<&2, U32>, +i: Nat, +c: U32) -> List<&2, U32>:
120 put(x, i, U32.sub(get(x, i), c))
import bend-collections-laws-crypto@1.0.0.0/spec/math/random/chacha8rand.bend as Chacha8randimport Base
119def sub_at(+x: List<&2, U32>, +i: Nat, +c: U32) -> List<&2, U32>:
120 put(x, i, U32.sub(get(x, i), c))