def read
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
174# Word q of the array (q < 2^depth).
175def read(a: Array<Wd>, +d: Nat, +q: Nat) -> Array<Wd> & U32:
176 read_fin(Array.get(Wd, a, U32.from_nat(q)))
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
174# Word q of the array (q < 2^depth).
175def read(a: Array<Wd>, +d: Nat, +q: Nat) -> Array<Wd> & U32:
176 read_fin(Array.get(Wd, a, U32.from_nat(q)))