Module leading_zeros

Source
Expand description

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.