def read_fin
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
170def read_fin(p: Array<Wd> & Wd) -> Array<Wd> & U32:
171 (a, x) = p
172 (a, wval(x))
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
170def read_fin(p: Array<Wd> & Wd) -> Array<Wd> & U32:
171 (a, x) = p
172 (a, wval(x))