Expand description

Implementations of DivisibleByPowerOf2, a trait for determining whether a number is divisible by $2^k$.