def word_put
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
77def word_put(v: Bool, w: U32, k: Nat) -> U32:
78 match v:
79 case True{}:
80 U32.or(w, U32.shln(1, k))
81 case False{}:
82 U32.and(w, U32.not(U32.shln(1, k)))