Expand description

Implementations of EqModPowerOf2, a trait for determining whether one number is equal to another modulo $2^k$.