Module malachite_base::num::logic::leading_zeros

LeadingZeros, a trait for determining the number of zeros that a number starts with, when written in binary using $W$ bits, $W$ being the type width.