def write
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
178# Replace word q.
179def write(a: Array<Wd>, +d: Nat, +q: Nat, +v: U32) -> Array<Wd>:
180 Array.set(Wd, a, U32.from_nat(q), W{v})
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
178# Replace word q.
179def write(a: Array<Wd>, +d: Nat, +q: Nat, +v: U32) -> Array<Wd>:
180 Array.set(Wd, a, U32.from_nat(q), W{v})