Function low_bits_maskCopy item path

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

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