Index
| $sel:divisor:StrengthReducedW128 | Atrophy |
| $sel:divisor:StrengthReducedW16 | Atrophy |
| $sel:divisor:StrengthReducedW32 | Atrophy |
| $sel:divisor:StrengthReducedW64 | Atrophy |
| $sel:divisor:StrengthReducedW7 | Atrophy |
| $sel:multiplier:StrengthReducedW16 | Atrophy |
| $sel:multiplier:StrengthReducedW32 | Atrophy |
| $sel:multiplier:StrengthReducedW64 | Atrophy |
| $sel:multiplier:StrengthReducedW7 | Atrophy |
| $sel:multiplierHi:StrengthReducedW128 | Atrophy |
| $sel:multiplierLo:StrengthReducedW128 | Atrophy |
| clampToFull | Atrophy.LongDivision, Atrophy |
| div' | Atrophy |
| div64 | Atrophy |
| divide128By64Preshifted | Atrophy.LongDivision, Atrophy |
| divide128MaxBy64 | Atrophy.LongDivision, Atrophy |
| divRem | Atrophy |
| divRem64 | Atrophy |
| Half | Atrophy |
| isPowerOf2 | Atrophy |
| longDivision | Atrophy.LongDivision, Atrophy |
| longMultiply | Atrophy.LongMultiplication, Atrophy |
| lower128 | Atrophy |
| lowerHalf | Atrophy |
| Multiplier | Atrophy |
| multiply256By128UpperBits | Atrophy.LongMultiplication, Atrophy |
| multiply256By64Helper | Atrophy.LongMultiplication, Atrophy |
| new | Atrophy |
| new64 | Atrophy |
| NonZero | |
| 1 (Type/Class) | Atrophy |
| 2 (Data Constructor) | Atrophy |
| rem' | Atrophy |
| rem64 | Atrophy |
| StrengthReducedW128 | |
| 1 (Type/Class) | Atrophy |
| 2 (Data Constructor) | Atrophy |
| StrengthReducedW16 | |
| 1 (Type/Class) | Atrophy |
| 2 (Data Constructor) | Atrophy |
| StrengthReducedW32 | |
| 1 (Type/Class) | Atrophy |
| 2 (Data Constructor) | Atrophy |
| StrengthReducedW64 | |
| 1 (Type/Class) | Atrophy |
| 2 (Data Constructor) | Atrophy |
| StrengthReducedW7 | Atrophy |
| StrengthReducedW8 | Atrophy |
| upper128 | Atrophy |
| upperHalf | Atrophy |