def mask

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

import bend-collections-laws-math@1.0.0.0/proofs/lib/word.bend as Word

import Base
import bend-collections-laws-math@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)

Uses (3)

Used by (72)