Function vstd::bits::low_bits_mask

pub open spec fn low_bits_mask(n: nat) -> nat

{ (pow2(n) - 1) as nat }