def mask

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/word.bend:250

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/numeric.bend as SNUM

250# the low k bits set
251def mask(+n: Nat, +k: Nat) -> Word(n):
252  SNUM.mask(n, k)